MathCastle
Groups and FieldsHardCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Hard problem

A mechanical combination puzzle has 25202520 distinct configurations, forming a group GG of order 25202520 under its allowed moves. A particular repeated move returns the puzzle to its starting configuration after exactly 5656 repetitions, and no fewer. Letting HH be the cyclic subgroup of moves generated by this one move, what is [G:H][G:H]?