PSL⁡2(5)\operatorname{PSL}_{2}(5) is the following , with n=2n=2 and q=5q=5:

PSL⁡2(5)=SL⁡2(F5)/{λI:λ∈F5×, λ2=1},SL⁡2(F5)={A∈M2(F5):det⁡A=1}.\operatorname{PSL}_{2}(5)=\operatorname{SL}_{2}(\mathbb F_{5})/\{\lambda I:\lambda\in\mathbb F_{5}^\times,\ \lambda^{2}=1\}, \qquad \operatorname{SL}_{2}(\mathbb F_{5})=\{A\in M_{2}(\mathbb F_{5}):\det A=1\}.

This is the ; multiplication is multiplication of scalar cosets. Here F5\mathbb F_{5} is the .

Order and simplicity

Its order is

∣PSL⁡2(5)∣=60.|\operatorname{PSL}_{2}(5)|=60.

It is a nonabelian . The exact order is 60.

Parameter convention

Type An−1A_{n-1} uses matrix size nn, so the Lie rank is n−1n-1. The simple family omits PSL⁡2(2)≅S3\operatorname{PSL}_2(2)\cong S_3 and PSL⁡2(3)≅A4\operatorname{PSL}_2(3)\cong A_4.

Small-group identification

The exceptional isomorphism is PSL⁡2(5)≅A5≅PSL⁡2(4)\operatorname{PSL}_2(5)\cong A_5\cong\operatorname{PSL}_2(4). Its projective-line action has six points, so the five-letter identification is not that natural action.

References
  1. Peter J. Cameron, Notes on Classical Groups, §§2.4–2.5, pp. 19–21; Theorem 2.11.