Originally Posted by

**roninpro** Hello everyone. I am asked to find the size of the group $\displaystyle G=GL_2(\mathbb{Z}_7)$ and would like to verify my work.

This group acts on the vector space $\displaystyle \mathbb{Z}_7\times \mathbb{Z}_7$ with basis $\displaystyle \{(1,0), (0,1)\}$. From this, we have the orbit-stabilizer theorem: if $\displaystyle x\in \mathbb{Z}_7\times \mathbb{Z}_7$, then $\displaystyle |G|=|Gx|\cdot |G_x|$, that is, the size of $\displaystyle G$ is the size of the orbit of $\displaystyle x$ times the size of the stabilizer of $\displaystyle x$. Take $\displaystyle x=(1,0)$. If $\displaystyle A\in G$, $\displaystyle Ax$ can possibly be any nonzero vector. There are 48 of these. Therefore, $\displaystyle |Gx|=48$. Then, if $\displaystyle Ax=x$, we must have $\displaystyle A(0,1)$ equal to another vector not a multiple of $\displaystyle x$, since $\displaystyle A$ is invertible. In other words, $\displaystyle A(0,1)$ cannot be $\displaystyle (0,0), (1,0), (2,0),\ldots,(6,0)$. There are 42 of these, so $\displaystyle |G_x|=42$.

We conclude that $\displaystyle |G|=48\cdot 42=2016$.

Comments or suggestions?