Complexification of tetrahedron and pseudo-projective transformations (Q5959519)

The collineations of the real projective plane which permute the points of a given quadrangle form a group isomorphic to the symmetric group \(S_4\). The continuous collineations of the complex projective plane which permute the points of a quadrangle form a group \(S_4\times C_2\). Both statements are immediate consequences of the fundamental theorem of projective geometry (avoided by the author), which says that each collineation is induced by a semilinear bijection.