PSL(4,2) - Knowlpedia

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

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

This is the projective special linear group; multiplication is multiplication of scalar cosets. Here $\mathbb F_{2}$ is the field with $2$ elements.

Order and simplicity

Its order is

|\operatorname{PSL}_{4}(2)|=20160.

It is a nonabelian simple group. The exact order is 20,160.

Parameter convention

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

Small-group identification

The exceptional isomorphism is $\operatorname{PSL}_4(2)\cong A_8$ . The group $\operatorname{PSL}_3(4)$ has the same order but is not isomorphic to it.

References

Peter J. Cameron, Notes on Classical Groups, §§2.4–2.5, pp. 19–21; Theorem 2.11.
Peter J. Cameron, Notes on Classical Groups, §6, pp. 64–74, especially Theorems 6.3 and 6.6; §7 introduction, p. 75.