Log24

"[A]… uniqueness proof is offered here based upon a detailed knowledge of the geometric aspects of the elementary abelian group of order 16 together with a knowledge of the geometries associated with certain subgroups of its automorphism group. This construction was motivated by a question posed by D.R. Hughes and by the discussion Edge [5] (see also Conwell [4]) gives of certain isomorphisms between classical groups, namely

PGL(4,2)~PSL(4,2)~SL(4,2)~A₈,
PSp(4,2)~Sp(4,2)~S₆,

where A₈ is the alternating group on eight symbols, S₆ the symmetric group on six symbols, Sp(4,2) and PSp(4,2) the symplectic and projective symplectic groups in four variables over the field GF(2) of two elements, [and] PGL, PSL and SL are the projective linear, projective special linear and special linear groups (see for example [7], Kapitel II).

The symplectic group PSp(4,2) is the group of collineations of the three dimensional projective space PG(3,2) over GF(2) which commute with a fixed null polarity tau…."

References

4. Conwell, George M.: The three space PG(3,2) and its group. Ann. of Math. (2) 11, 60-76 (1910).

5. Edge, W.L.: The geometry of the linear fractional group LF(4,2). Proc. London Math. Soc. (3) 4, 317-342 (1954).

7. Huppert, B.: Endliche Gruppen I. Berlin-Heidelberg-New York: Springer 1967.