Definition
PSL(2,4)
Determinant-one 2 by 2 matrices over F_4, modulo scalar matrices of determinant one.
is the following finite group, with and :
This is the projective special linear group; multiplication is multiplication of scalar cosets. Here is the field with elements.
Order and simplicity
Parameter convention
Type uses matrix size , so the Lie rank is . The simple family omits and .
Small-group identification
The action on five projective points gives . Also .
References
- Peter J. Cameron, Notes on Classical Groups, §§2.4–2.5, pp. 19–21; Theorem 2.11.