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

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

This is the ; multiplication is multiplication of scalar cosets. Here F4\mathbb F_{4} is the .

Order and simplicity

Its order is

∣PSL⁡2(4)∣=60.|\operatorname{PSL}_{2}(4)|=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 action on five projective points gives PSL⁡2(4)≅A5\operatorname{PSL}_2(4)\cong A_5. Also PSL⁡2(5)≅A5\operatorname{PSL}_2(5)\cong A_5.

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