MathCastle
Groups and FieldsHardCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Hard problem

In S6S_6, let g=(123456)g=(123456) and H=⟨g⟩H=\langle g\rangle, order 66. Since H∩A6H\cap A_6 is a subgroup of HH, its order divides 66. Using the fact that a kk-cycle is an even permutation exactly when kk is odd, how many elements does H∩A6H\cap A_6 have?