MathCastle
Groups and FieldsChallengeCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Challenge problem

D24D_{24} is the group of symmetries of a regular 2424-gon, order 4848, generated by a rotation rr of order 2424 and a reflection ss. The element r12r^{12} has order 22 and is central (commutes with everything). Let H=⟨s,r12⟩H=\langle s, r^{12}\rangle. What is [D24:H][D_{24}:H]?