Collineation group as a subgroup of the symmetric group

Abstract

AbstractLet ψ be the projectivization (i.e., the set of one-dimensional vector subspaces) of a vector space of dimension ≥ 3 over a field. Let H be a closed (in the pointwise convergence topology) subgroup of the permutation group $\mathfrak{S}_\psi $ of the set ψ. Suppose that H contains the projective group and an arbitrary self-bijection of ψ transforming a triple of collinear points to a non-collinear triple. It is well known from [Kantor W.M., McDonough T.P., On the maximality of PSL(d+1,q), d ≥ 2, J. London Math. Soc., 1974, 8(3), 426] that if ψ is finite then H contains the alternating subgroup $\mathfrak{A}_\psi $ of $\mathfrak{S}_\psi $. We show in Theorem 3.1 that H = $\mathfrak{S}_\psi $, if ψ is infinite.