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

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

This is the ; multiplication is multiplication of scalar cosets. Here F8\mathbb F_{8} is the .

Order and simplicity

Its order is

∣PSL⁡2(8)∣=504.|\operatorname{PSL}_{2}(8)|=504.

It is a nonabelian . The exact order is 504.

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.

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