Projective plane
Projective planes in higher-dimensional projective spaces

Projective planes may be thought of as projective geometries of "geometric" dimension two. Higher-dimensional projective geometries can be defined in terms of incidence relations in a manner analogous to the definition of a projective plane. These turn out to be "tamer" than the projective planes since the extra degrees of freedom permit Desargues' theorem to be proved geometrically in the higher-dimensional geometry. This means that the coordinate "ring" associated to the geometry must be a division ring (skewfield) K, and the projective geometry is isomorphic to the one constructed from the vector space K, i.e. PG(d, K). As in the construction given earlier, the points of the d -dimensional projective space PG(d, K) are the lines through the origin in K and a line in PG(d, K) corresponds to a plane through the origin in K. In fact, each i -dimensional object in PG(d, K), with i < d, is an (i + 1) -dimensional (algebraic) vector subspace of K ("goes through the origin"). The projective spaces in turn generalize to the Grassmannian spaces.

It can be shown that if Desargues' theorem holds in a projective space of dimension greater than two, then it must also hold in all planes that are contained in that space. Since there are projective planes in which Desargues' theorem fails (non-Desarguesian planes), these planes can not be embedded in a higher-dimensional projective space. Only the planes from the vector space construction PG(2, K) can appear in projective spaces of higher dimension. Some disciplines in mathematics restrict the meaning of projective plane to only this type of projective plane since otherwise general statements about projective spaces would always have to mention the exceptions when the geometric dimension is two.
detectable_content:postscript, language:response_language[Latin]