Let PGL(P) be the group of projective linear transformations of the n-dimensional projective space P over a field F. A topology is given on F, and it is assumed that F is locally-compact; PGL(P) is endowed with the quotient topology from the canonical projection map GL(n, F) → PGL(P), where
.
For any given k, it is shown that the set of k–tuples (g1, g2, … gk) ɛ PGL(P)k which freely generate a free sub-group of PGL(P) and has a nonvoid interior.