2
$\begingroup$

Show $PSL(2,5)$ is isomorphic to $A_5$

The question I am trying to answer begins with us finding a subgroup of $SL(2,5)$ isomorphic $Q_8$, the quarternion group. We then deduce there that there is a subgroup of index 5 (given order of $SL(2,5)$ is 120) and so we can find a homomorphism from $SL(2,5)$ to $S_5$.

The way I did this was considering the left coset action of $Sl(2,5)$ on $Sl(2,5) \ / Q_8$

i.e. define $ \theta_g (aH) = gaH $ and so the mapping $ \phi (g) = \theta_g $ is a homomorphism into $Sym( \{ \theta_g \}) \approx S_5 $. (Where H is my subgroup isomorphic to $Q_8$.

So we now wish to show $ SL(2,5) \ / \{ \pm I \} \approx A_5 $

My only idea to use the first isomorphism theorem, so I would like so somehow show every $ \theta_g $ is an even permutation, and also that the kernel of $ \phi $ is just $ \pm I $.

That is, the only elements $g$ satisfying $ gaH=aH $ for all $a \in SL(2,5) $ are +- identity.

However I am unsure of how to show both of these properties easily, or if they are even true to start with. How can I finish this argument?

$\endgroup$
  • $\begingroup$ Are you willing to use the fact that ${\rm PSL}(2,5)$ is simple? If so, it's easy. $\endgroup$ – Derek Holt Dec 9 '16 at 15:56
  • $\begingroup$ @DerekHolt No we are not allowed to assume that. Is there an elementary way to prove that without looking at sylow subgroups for example? $\endgroup$ – Evgeny T Dec 9 '16 at 15:58
  • $\begingroup$ Two points not clear: if you find $Q_8$ in $SL_2(5)$, you will get a subgroup of index $120/8=15$, how do you get subgroup of index $5$? And "$Sym(Q_8)=S_5$" is not clear to me at least; (it is known that $Aut(A_8)=S_4$). $\endgroup$ – p Groups Dec 10 '16 at 4:02
1
$\begingroup$

I had not seen elementary argument than the below. $PSL_2(5)$ can be considered as group of Mobius transformations $$z\mapsto \frac{az+b}{cz+d}, (a,b,c,d\in\mathbb{Z}_5, ad-bc=1)$$ for $z\in \{0,1,2,3,4\}\cup\{\infty\}$, where $\{0,1,2,3,4\}=\mathbb{Z}_5$ and $\infty=1/0=2/0=...=4/0$, and some conventions similar to this.

The group $PSL_2(5)$ acts on these six symbols, whereas we want an action on $5$ symbols to show that it is isomorphic to $A_5$. So how to proceed.

The way I would like to proceedis to do the following:

In $PSL_2(5)$, find an element $A$ of order $2$, $B$ of order $3$ such that product $AB$ has order $5$.

This is quite easier: consider $A(z)=-1/z$. You see that it is of order $2$.

To get element of order $3$, note that if $B^3=I$ in $2\times 2$ matrix form then $B$ satisfies polynomial $t^3-1=(t-1)(t^2+t+1)$; the second factor is irreducible over $Z_5$; so take companion matrix $\begin{bmatrix} 0 & -1 \\ 1 & -1\end{bmatrix}$.

The corresponding Mobius map is $B(z)=(0.z-1)/(1.z-d)=-1/(z-1)$; check- this is of order $3$ (i.e. $B^3(z)=z$)

Finallt consider $AB(z)$; it is $AB(z)=z-1$, great! this is of order $5$ since this permutes $0,1,2,3,4$ in fashion of cycle of order $5$ and leaves $\infty$ fixed (by additive convention with $\infty$: $\infty+a=a+\infty=\infty$).

Thus, we found elements $A,B$ of order $2,3$ respectively such that $AB$ has order $5$. The group $A_5$ has presentation of this form: $$A_5=\langle x_1,x_2: x_!^2=1, x_2^3=1, (x_1x_2)^5=1\rangle.$$ This gives a surjective homomorphism from $PSL_2(5)$ to $A_5$ ($A\mapsto x_1, B\mapsto x_2$).

Finally $PSL_2(5)$ and $A_5$ have same orders; the surjective homomorphism should be isomorphism.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.