MathCastle
Groups and FieldsHardCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Hard problem

G=S6G=S_6, order 720720. Let H=⟨g⟩H = \langle g \rangle where g=(123456)g=(123456), a 66-cycle. A subgroup KK satisfies H≤K≤S6H \le K \le S_6 and [S6:K]=15[S_6:K]=15. What is [K:H][K:H]?