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

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

This is the ; multiplication is multiplication of scalar cosets. Here F2\mathbb F_{2} is the .

Order and simplicity

Its order is

∣PSL⁡3(2)∣=168.|\operatorname{PSL}_{3}(2)|=168.

It is a nonabelian . The exact order is 168.

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

Every over F2\mathbb F_2 has determinant one and the scalar center is trivial. Hence this is also GL⁡3(2)\operatorname{GL}_3(2), and it is isomorphic to PSL⁡2(7)\operatorname{PSL}_2(7).

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