MathCastle
Groups and FieldsChallengeCosets and Lagrange's Theorem

Cosets and Lagrange's Theorem · Challenge problem

GL(2,Z3)GL(2,\mathbb Z_3), the invertible 2×22\times2 matrices over Z3\mathbb Z_3, has order 4848. Let HH be the subgroup of upper-triangular invertible matrices (ab0d)\begin{pmatrix}a&b\\0&d\end{pmatrix} with a,d≠0a,d\ne0. What is [GL(2,Z3):H][GL(2,\mathbb Z_3):H]?