Orthogonal group is finite-dominating in general linear group over any real-closed field
This article gives the statement, and possibly proof, of a particular subgroup or type of subgroup (namely, Orthogonal group (?)) satisfying a particular subgroup property (namely, Finite-dominating subgroup (?)) in a particular group or type of group (namely, General linear group (?)).