View source for Projective plane

{{Use American English|date = January 2019}}
{{Short description|Geometric concept of a 2D space with a "point at infinity" adjoined}}
[[File:Railroad-Tracks-Perspective.jpg|thumb|right|These parallel lines appear to intersect in the [[vanishing point]] "at infinity". In a projective plane this is actually true.]]
In [[mathematics]], a '''projective plane''' is a geometric structure that extends the concept of a [[plane (geometry)|plane]]. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus ''any'' two distinct lines in a projective plane intersect in one and only one point.

[[Perspective (graphical)#Renaissance: Mathematical basis|Renaissance]] artists, in developing the techniques of drawing in [[Perspective (graphical)|perspective]], laid the groundwork for this mathematical topic. The archetypical example is the [[real projective plane]], also known as the '''extended Euclidean plane'''.<ref>The phrases "projective plane", "extended affine plane" and "extended Euclidean plane" may be distinguished according to whether the line at infinity is regarded as special (in the so-called "projective" plane it isn't, in the "extended" planes it is) and to whether Euclidean metric is regarded as meaningful (in the projective and affine planes it isn't). Similarly for projective or extended spaces of other dimensions.</ref> This example, in slightly different guises, is important in [[algebraic geometry]], [[topology]] and [[projective geometry]] where it may be denoted variously by {{nowrap|PG(2, '''R''')}},  '''RP'''<sup>2</sup>, or '''P'''<sub>2</sub>('''R'''), among other notations. There are many other projective planes, both infinite, such as the [[complex projective plane]], and finite, such as the [[Fano plane]].

A projective plane is a 2-dimensional [[projective space]], but not all projective planes can be embedded in 3-dimensional projective spaces. Such embeddability is a consequence of a property known as [[Desargues' theorem]], not shared by all projective planes.

==Definition==

A '''projective plane''' consists of a set of '''lines''', a set of '''points''', and a relation between points and lines called '''incidence''', having the following properties:<ref>In a more formal version of the definition it is pointed out that the terms ''point, line'' and ''incidence'' are [[primitive notion]]s (undefined terms). This formal viewpoint is needed to understand the concept of [[duality (projective geometry)|duality]] when applied to projective planes.</ref>
<div id="axioms-of-projective-planes">
#Given any two distinct points, there is exactly one line incident with both of them.
#Given any two distinct lines, there is exactly one point incident with both of them.
#There are four points such that no line is incident with more than two of them.
</div>
The second condition means that there are no [[Parallel (geometry)|parallel lines]]. The last condition excludes the so-called '''''degenerate''''' cases (see [[#Degenerate planes|below]]). The term "incidence" is used to emphasize the symmetric nature of the relationship between points and lines. Thus the expression "point ''P'' is incident with line ''ℓ'' " is used instead of either "''P'' is on ''ℓ'' " or "''ℓ'' passes through ''P'' ".

==Some examples==

===The extended Euclidean plane===

To turn the ordinary Euclidean plane into a projective plane proceed as follows:
# To each set of mutually parallel lines add a single new point. That point is considered incident with each line of this set. The point added is distinct for each such set. These new points are called ''[[point at infinity|points at infinity]]''.
# Add a new line, which is considered incident with all the points at infinity (and no other points). This line is called ''the'' [[line at infinity]].

The extended structure is a projective plane and is called the '''extended Euclidean plane''' or the [[real projective plane]]. The process outlined above, used to obtain it, is called "projective completion" or ''projectivization''. This plane can also be constructed by starting from '''R'''<sup>3</sup> viewed as a vector space, see {{section link||Vector space construction}} below.

===Projective Moulton plane===
[[File:Moulton plane2.svg|thumb|right|300px|The ''Moulton plane''. Lines sloping down and to the right are bent where they cross the ''y''-axis.]]
The points of the [[Moulton plane]] are the points of the Euclidean plane, with coordinates in the usual way. To create the Moulton plane from the Euclidean plane some of the lines are redefined. That is, some of their point sets will be changed, but other lines will remain unchanged. Redefine all the lines with negative slopes so that they look like "bent" lines, meaning that these lines keep their points with negative ''x''-coordinates, but the rest of their points are replaced with the points of the line with the same ''y''-intercept but twice the slope wherever their ''x''-coordinate is positive.

The Moulton plane has parallel classes of lines and is an [[affine plane (incidence geometry)|affine plane]]. It can be projectivized, as in the previous example, to obtain the '''projective Moulton plane'''. [[Desargues' theorem]] is not a valid theorem in either the Moulton plane or the projective Moulton plane.

===A finite example===

This example has just thirteen points and thirteen lines. We label the points P<sub>1</sub>,...,P<sub>13</sub> and the lines m<sub>1</sub>,...,m<sub>13</sub>. The [[incidence relation]] (which points are on which lines) can be given by the following [[incidence matrix]]. The rows are labelled by the points and the columns are labelled by the lines. A 1 in row ''i'' and column ''j'' means that the point P<sub>''i''</sub> is on the line m<sub>''j''</sub>, while a 0 (which we represent here by a blank cell for ease of reading) means that they are not incident. The matrix is in Paige-Wexler normal form.
:::{| class="wikitable"
|-
! &nbsp;!! m<sub>1</sub>!! m<sub>2</sub> !! m<sub>3</sub>!! m<sub>4</sub>!! m<sub>5</sub>!! m<sub>6</sub>!! m<sub>7</sub>!! m<sub>8</sub>!! m<sub>9</sub>!! m<sub>10</sub>!! m<sub>11</sub>!! m<sub>12</sub>!! m<sub>13</sub>
|-
| '''P<sub>1</sub>''' || 1 || 1 || 1 || 1 || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp;
|-
| '''P<sub>2</sub>''' || 1 || &nbsp; || &nbsp; || &nbsp; || 1 || 1 || 1 || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp; || &nbsp;
|-
| '''P<sub>3</sub>''' || 1 || &nbsp; ||&nbsp;|| &nbsp; || &nbsp; || &nbsp; || &nbsp; || 1|| 1 || 1 || &nbsp; || &nbsp; || &nbsp;
|-
| '''P<sub>4</sub>''' || 1 || &nbsp; || &nbsp; || &nbsp; || &nbsp; ||&nbsp;|| &nbsp;||&nbsp;||&nbsp; || &nbsp; || 1 || 1 || 1
|-
| '''P<sub>5</sub>''' || &nbsp; || 1 || &nbsp; || &nbsp; || 1 ||&nbsp;|| &nbsp;||1|| &nbsp; || &nbsp; || 1 || &nbsp; || &nbsp;
|-
| '''P<sub>6</sub>''' || &nbsp; || 1 || &nbsp; || &nbsp; || &nbsp; ||1|| &nbsp;||&nbsp;|| 1 || &nbsp; || &nbsp; || 1 || &nbsp;
|-
| '''P<sub>7</sub>''' ||   || 1 ||   ||   ||   || || 1|| ||   || 1 ||   ||   || 1
|-
| '''P<sub>8</sub>''' ||   ||   || 1 ||   || 1 || ||  || || 1 ||   ||   ||   || 1
|-
| '''P<sub>9</sub>''' ||   ||   || 1 ||   ||   ||1||  || ||   || 1 || 1 ||   ||  
|-
| '''P<sub>10</sub>''' ||   ||   || 1 ||   ||   || || 1||1||   ||   ||   || 1 ||  
|-
| '''P<sub>11</sub>''' ||   ||   ||   || 1 || 1 || ||  || ||   || 1 ||   || 1 ||  
|-
| '''P<sub>12</sub>''' ||   ||   ||   || 1 ||   ||1||  ||1||   ||   ||   ||   || 1
|-
| '''P<sub>13</sub>''' ||   ||   ||   || 1 ||   || || 1|| || 1 ||   || 1 ||   ||  
|}

To verify the conditions that make this a projective plane, observe that every two rows have exactly one common column in which 1's appear (every pair of distinct points are on exactly one common line) and that every two columns have exactly one common row in which 1's appear (every pair of distinct lines meet at exactly one point). Among many possibilities, the points P<sub>1</sub>,P<sub>4</sub>,P<sub>5</sub>,and P<sub>8</sub>, for example, will satisfy the third condition. This example is known as the '''projective plane of order three'''.

==Vector space construction==

Though the line at infinity of the extended real plane may appear to have a different nature than the other lines of that projective plane, this is not the case. Another construction of the same projective plane shows that no line can be distinguished (on geometrical grounds) from any other. In this construction, each "point" of the real projective plane is the one-dimensional subspace (a ''geometric'' line) through the origin in a 3-dimensional vector space, and a "line" in the projective plane arises from a (''geometric'') plane through the origin in the 3-space. This idea can be generalized and made more precise as follows.<ref name="Baez2002">Baez (2002).</ref>

Let ''K'' be any [[division ring]] (skewfield). Let ''K''<sup>3</sup> denote the set of all triples ''x'' = (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>) of elements of ''K'' (a [[Cartesian product]] viewed as a [[vector space]]). For any nonzero ''x'' in ''K''<sup>3</sup>, the minimal subspace of ''K''<sup>3</sup> containing ''x'' (which may be visualized as all the vectors in a line through the origin) is the subset
:<math>\{ k x : k \in K \}</math>
of ''K''<sup>3</sup>. Similarly, let ''x'' and ''y'' be linearly independent elements of ''K''<sup>3</sup>, meaning that {{nowrap|1=''kx'' + ''my'' = 0}} implies that {{nowrap|1=''k'' = ''m'' = 0}}. The minimal subspace of ''K''<sup>3</sup> containing ''x'' and ''y'' (which may be visualized as all the vectors in a plane through the origin) is the subset
:<math>\{k x + m y : k, m \in K\}</math>
of ''K''<sup>3</sup>. This 2-dimensional subspace contains various 1-dimensional subspaces through the origin that may be obtained by fixing ''k'' and ''m'' and taking the multiples of the resulting vector. Different choices of ''k'' and ''m'' that are in the same ratio will give the same line.

The '''projective plane''' over ''K'', denoted PG(2,''K'') or ''K'''''P'''<sup>2</sup>, has a set of ''points'' consisting of all the 1-dimensional subspaces in ''K''<sup>3</sup>. A subset ''L'' of the points of PG(2,''K'') is a ''line'' in PG(2,''K'') if there exists a 2-dimensional subspace of ''K''<sup>3</sup> whose set of 1-dimensional subspaces is exactly ''L''.

Verifying that this construction produces a projective plane is usually left as a linear algebra exercise.

An alternate (algebraic) view of this construction is as follows. The points of this projective plane are the equivalence classes of the set {{nowrap|''K''<sup>3</sup> ∖ {(0, 0, 0)} }} modulo the [[equivalence relation]]
:''x'' ~ ''kx'',  for all ''k'' in ''K''<sup>×</sup>.
Lines in the projective plane are defined exactly as above.

The coordinates (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>) of a point in PG(2,''K'') are called '''homogeneous coordinates'''. Each triple (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>) represents a well-defined point in PG(2,''K''), except for the triple (0, 0, 0), which represents no point. Each point in PG(2,''K''), however, is represented by many triples.

If ''K'' is a [[topological space]], then ''K'''''P'''<sup>2</sup>,  inherits a topology via the [[product topology|product]], [[subspace topology|subspace]], and [[quotient topology|quotient]] topologies.

===Classical examples===

The [[real projective plane]] '''RP'''<sup>2</sup>,  arises when ''K'' is taken to be the [[real number]]s, '''R'''. As a closed, non-orientable real 2-[[manifold]], it serves as a fundamental example in topology.<ref name="Bredon1993">The real projective plane appears 37 times in the index of Bredon (1993), for example.</ref>

In this construction consider the unit sphere centered at the origin in '''R'''<sup>3</sup>. Each of the '''R'''<sup>3</sup> lines in this construction intersects the sphere at two antipodal points. Since the '''R'''<sup>3</sup> line represents a point of '''RP'''<sup>2</sup>, we will obtain the same model of '''RP'''<sup>2</sup> by identifying the antipodal points of the sphere. The lines of '''RP'''<sup>2</sup> will be the great circles of the sphere after this identification of antipodal points. This description gives the standard model of [[elliptic geometry]].

The [[complex projective plane]] '''CP'''<sup>2</sup>,  arises when ''K'' is taken to be the [[complex number]]s, '''C'''. It is a closed complex 2-manifold, and hence a closed, orientable real 4-manifold. It and projective planes over other [[Field (algebra)|fields]] (known as '''[[pappian plane]]s''') serve as fundamental examples in [[algebraic geometry]].<ref name="Shafarevich1994">The projective planes over fields are used throughout Shafarevich (1994), for example.</ref>

The [[quaternionic projective space|quaternionic projective plane]] '''HP'''<sup>2</sup> is also of independent interest.{{cn|date=March 2016}}

===Finite field planes===

By [[Wedderburn's little theorem|Wedderburn's Theorem]], a finite division ring must be commutative and so a field. Thus, the finite examples of this construction are known as "field planes". Taking ''K'' to be the [[finite field]] of ''q'' = ''p''<sup>''n''</sup> elements with prime ''p'' produces a projective plane of ''q''<sup>2</sup> + ''q'' + 1 points. The field planes are usually denoted by PG(2,''q'') where PG stands for projective geometry, the "2" is the dimension and ''q'' is called the '''order''' of the plane (it is one less than the number of points on any line). The Fano plane, discussed below, is denoted by PG(2,2). The [[#A finite example|third example above]] is the projective plane PG(2,3).

[[File:fano plane.svg|thumb|right|The Fano plane. Points are shown as dots; lines are shown as lines or circles.]]

The [[Fano plane]] is the projective plane arising from the field of two elements. It is the smallest projective plane, with only seven points and seven lines. In the figure at right, the seven points are shown as small black balls, and the seven lines are shown as six line segments and a circle. However, one could equivalently consider the balls to be the "lines" and the line segments and circle to be the "points" – this is an example of [[duality (projective geometry)|duality]] in the projective plane: if the lines and points are interchanged, the result is still a projective plane (see [[#Duality|below]]). A permutation of the seven points that carries [[incidence (geometry)|collinear]] points (points on the same line) to collinear points is called a ''[[collineation]]'' or ''[[symmetry]]'' of the plane. The collineations of a geometry form a [[Group (mathematics)|group]] under composition, and for the Fano plane this group (PΓL(3,2) = PGL(3,2)) has 168 elements.

=== {{anchor|Desarguesian}} Desargues' theorem and Desarguesian planes===

The [[Desargues' theorem|theorem of Desargues]] is universally valid in a projective plane if and only if the plane can be constructed from a three-dimensional vector space over a skewfield as [[#Vector space construction|above]].<ref>[[David Hilbert]] proved the more difficult "only if" part of this result.</ref> These planes are called '''Desarguesian planes''', named after [[Girard Desargues]]. The real (or complex) projective plane and the projective plane of order 3 given [[Projective plane#Some examples|above]] are examples of Desarguesian projective planes. The projective planes that can not be constructed in this manner are called [[non-Desarguesian plane]]s, and the [[Moulton plane]] given [[Projective plane#Some examples|above]] is an example of one. The PG(2,''K'') notation is reserved for the Desarguesian planes. When ''K'' is a [[Field (mathematics)|field]], a very common case, they are also known as ''field planes'' and if the field is a [[finite field]] they can be called [[Galois geometry|''Galois planes'']].

==Subplanes==

A '''subplane''' of a projective plane is a subset of the points of the plane which themselves form a projective plane with the same incidence relations.

{{harv|Bruck|1955}} proves the following theorem. Let Π be a finite projective plane of order ''N'' with a proper subplane Π<sub>0</sub> of order ''M''. Then either ''N'' = ''M''<sup>2</sup> or ''N'' ≥ ''M''<sup>2</sup> + ''M''.

When ''N'' is a square, subplanes of order {{sqrt|''N''}} are called ''Baer subplanes''. Every point of the plane lies on a line of a Baer subplane and every line of the plane contains a point of the Baer subplane.

In the finite Desarguesian planes PG(2,''p<sup>n</sup>''), the subplanes have orders which are the orders of the subfields of the finite field GF(''p<sup>n</sup>''), that is, ''p<sup>i</sup>'' where ''i'' is a divisor of ''n''. In non-Desarguesian planes however, Bruck's theorem gives the only information about subplane orders. The case of equality in the inequality of this theorem is not known to occur. Whether or not there exists a subplane of order ''M'' in a plane of order ''N'' with ''M''<sup>2</sup> + ''M'' = ''N'' is an open question. If such subplanes existed there would be projective planes of composite (non-prime power) order.

===Fano subplanes===

A '''Fano subplane''' is a subplane isomorphic to PG(2,2), the unique projective plane of order 2.

If you consider a ''quadrangle'' (a set of 4 points no three collinear) in this plane, the points determine six of the lines of the plane. The remaining three points (called the ''diagonal points'' of the quadrangle) are the points where the lines that do not intersect at a point of the quadrangle meet. The seventh line consists of all the diagonal points (usually drawn as a circle or semicircle).

The name ''Fano'' for this subplane is really a misnomer. [[Gino Fano]] (1871–1952), in developing a new set of axioms for Euclidean geometry, took as an axiom that the diagonal points of any quadrangle are never collinear. This is called ''Fano's Axiom''. A Fano subplane however violates Fano's Axiom. They really should be called ''Anti-Fano subplanes'', but this name change has not had many supporters.

In finite desarguesian planes, PG(2,''q''), Fano subplanes exist if and only if ''q'' is even (that is, a power of 2). The situation in non-desarguesian planes is unsettled. They could exist in any non-desarguesian plane of order greater than 6, and indeed, they have been found in all non-desarguesian planes in which they have been looked for (in both odd and even orders).

An open question is: Does every non-desarguesian plane contain a Fano subplane?

A theorem concerning Fano subplanes  due to {{harv|Gleason|1956}} is:

:If every quadrangle in a finite projective plane has collinear diagonal points, then the plane is desarguesian (of even order).

==Affine planes==

Projectivization of the Euclidean plane produced the real projective plane. The inverse operation &mdash; starting with a projective plane, remove one line and all the points incident with that line &mdash; produces an '''affine plane'''.

===Definition===
More formally an '''[[Affine plane (incidence geometry)|affine plane]]''' consists of a set of '''lines''' and a set of '''points''', and a relation between points and lines called '''incidence''', having the following properties:
<div id="axioms-of-affine-planes">
#Given any two distinct points, there is exactly one line incident with both of them.
#Given any line l and any point P not incident with l, there is exactly one line incident with P that does not meet l.
#There are four points such that no line is incident with more than two of them.
</div>
The second condition means that there are  [[Parallel (geometry)|parallel lines]] and is known as [[John Playfair|Playfair's]] axiom. The expression "does not meet" in this condition is shorthand for "there does not exist a point incident with both lines."

The Euclidean plane and the Moulton plane are examples of infinite affine planes. A finite projective plane will produce a finite affine plane when one of its lines and the points on it are removed. The '''order''' of a finite affine plane is the number of points on any of its lines (this will be the same number as the order of the projective plane from which it comes). The affine planes which arise from the projective planes PG(2,''q'') are denoted by AG(2,''q'').

There is a projective plane of order ''N'' if and only if there is an [[affine plane (incidence geometry)|affine plane]] of order ''N''.  When there is only one affine plane of order ''N'' there is only one projective plane of order ''N'', but the converse is not true. The affine planes formed by the removal of different lines of the projective plane will be isomorphic if and only if the removed lines are in the same orbit of the collineation group of the projective plane. These statements hold for infinite projective planes as well.

===Construction of projective planes from affine planes===

The affine plane ''K''<sup>2</sup> over ''K'' embeds into ''K'''''P'''<sup>2</sup> via the map which sends affine (non-homogeneous) coordinates to homogeneous coordinates,
: <math>(x_1, x_2) \mapsto (1, x_1, x_2).</math>

The complement of the image is the set of points of the form (0, ''x''<sub>1</sub>, ''x''<sub>2</sub>). From the point of view of the embedding just given, these points are the [[point at infinity|points at infinity]]. They constitute a line in ''K'''''P'''<sup>2</sup> &mdash; namely, the line arising from the plane
:<math>\{k (0, 0, 1) + m (0, 1, 0) : k, m \in K\}</math>

in ''K''<sup>3</sup> &mdash; called the [[line at infinity]]. The points at infinity are the "extra" points where parallel lines intersect in the construction of the extended real plane; the point (0, ''x''<sub>1</sub>, ''x''<sub>2</sub>) is where all lines of slope ''x''<sub>2</sub> / ''x''<sub>1</sub> intersect. Consider for example the two lines
: <math>u = \{(x, 0) : x \in K\}</math>
: <math>y = \{(x, 1) : x \in K\}</math>

in the affine plane ''K''<sup>2</sup>. These lines have slope 0 and do not intersect. They can be regarded as subsets of ''K'''''P'''<sup>2</sup> via the embedding above, but these subsets are not lines in ''K'''''P'''<sup>2</sup>. Add the point (0, 1, 0) to each subset; that is, let
: <math>\bar{u} = \{(1, x, 0) : x \in K\} \cup \{(0, 1, 0)\}</math>
: <math>\bar{y} = \{(1, x, 1) : x \in K\} \cup \{(0, 1, 0)\}</math>

These are lines in ''K'''''P'''<sup>2</sup>; ū arises from the plane
: <math>\{k (1, 0, 0) + m (0, 1, 0) : k, m \in K\}</math>

in ''K''<sup>3</sup>, while ȳ arises from the plane
: <math>{k (1, 0, 1) + m (0, 1, 0) : k, m \in K}.</math>
The projective lines ū and ȳ intersect at (0, 1, 0). In fact, all lines in ''K''<sup>2</sup> of slope 0, when projectivized in this manner, intersect at (0, 1, 0) in ''K'''''P'''<sup>2</sup>.

The embedding of ''K''<sup>2</sup> into ''K'''''P'''<sup>2</sup> given above is not unique. Each embedding produces its own notion of points at infinity. For example, the embedding
: <math>(x_1, x_2) \to (x_2, 1, x_1),</math>
has as its complement those points of the form (''x''<sub>0</sub>, 0, ''x''<sub>2</sub>), which are then regarded as points at infinity.

When an affine plane does not have the form of ''K''<sup>2</sup> with ''K'' a division ring, it can still be embedded in a projective plane, but the construction used above does not work. A commonly used method for carrying out the embedding in this case involves expanding the set of affine coordinates and working in a more general "algebra".

===Generalized coordinates===
{{main|Planar ternary ring}}

One can construct a coordinate "ring"&mdash;a so-called [[planar ternary ring]] (not a genuine ring)&mdash;corresponding to any projective plane.  A planar ternary ring need not be a field or division ring, and there are many projective planes that are not constructed from a division ring.  They are called [[non-Desarguesian projective plane]]s and are an active area of research.   The [[Cayley plane]] ('''OP'''<sup>2</sup>), a projective plane over the [[octonion]]s, is one of these because the octonions do not form a division ring.<ref name="Baez2002"/>

Conversely, given a planar ternary ring (R,T), a projective plane can be constructed (see below). The relationship is not one to one. A projective plane may be associated with several non-isomorphic planar ternary rings. The ternary operator T can be used to produce two binary operators on the set R, by:
: a + b = T(a,1,b), and
: a • b = T(a,b,0).
The ternary operator is '''''linear''''' if T(x,m,k) = x•m + k. When the set of coordinates of a projective plane actually form a ring, a linear ternary operator may be defined in this way, using the ring operations on the right, to produce a planar ternary ring.

Algebraic properties of this planar ternary coordinate ring turn out to correspond to geometric incidence properties of the plane. For example, [[Desargues' theorem]] corresponds to the coordinate ring being obtained from a [[division ring]], while [[Pappus's hexagon theorem|Pappus's theorem]] corresponds to this ring being obtained from a [[commutative]] field. A projective plane satisfying Pappus's theorem universally is called a ''Pappian plane''. [[Alternative algebra|Alternative]], not necessarily [[associative]], division algebras like the octonions correspond to [[Moufang plane]]s.

There is no known purely geometric proof of the purely geometric statement that Desargues' theorem implies Pappus' theorem in a finite projective plane (finite Desarguesian planes are Pappian).  (The converse is true in any projective plane and is provable geometrically, but finiteness is essential in this statement as there are infinite Desarguesian planes which are not Pappian.)  The most common proof uses coordinates in a division ring and [[Wedderburn's little theorem|Wedderburn's theorem]] that finite division rings must be commutative; {{harvtxt|Bamberg|Penttila|2015}} give a proof that uses only more "elementary" algebraic facts about division rings.

To describe a finite projective plane of order ''N''(≥ 2) using non-homogeneous coordinates and a planar ternary ring:
:Let one point be labelled (''∞'').
:Label ''N'' points, (''r'') where ''r'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1).
:Label ''N''<sup>2</sup> points, (''r'', ''c'') where ''r'', ''c'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1).
On these points, construct the following lines:
:One line <nowiki>[</nowiki>''∞''<nowiki>]</nowiki> = { (''∞''), (0), ..., (''N''&nbsp;&minus;&nbsp;1)}
:''N'' lines <nowiki>[</nowiki>''c''<nowiki>]</nowiki> = {(''∞''), (''c'',0), ..., (''c'', ''N''&nbsp;&minus;&nbsp;1)}, where ''c'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1)
:''N''<sup>2</sup> lines <nowiki>[</nowiki>''r'', ''c''<nowiki>]</nowiki> = {(''r'') and the points (''x'', '''T'''(''x'',''r'',''c'')) }, where ''x'', ''r'', ''c'' = 0, ..., (''N''&nbsp;&minus;&nbsp;1) and '''T''' is the ternary operator of the planar ternary ring.

For example, for ''N''=2 we can use the symbols {0,1} associated with the finite field of order 2. The ternary operation defined by T(x,m,k) = xm + k with the operations on the right being the multiplication and addition in the field yields the following:
:One line <nowiki>[</nowiki>''∞''<nowiki>]</nowiki> = { (''∞''), (0), (1)},
:2 lines <nowiki>[</nowiki>''c''<nowiki>]</nowiki> = {(''∞''), (''c'',0), (''c'',1) : ''c'' = 0, 1},
::<nowiki>[</nowiki>0<nowiki>]</nowiki> = {(''∞''), (0,0), (0,1) }
::<nowiki>[</nowiki>1<nowiki>]</nowiki> = {(''∞''), (1,0), (1,1) }
:4 lines <nowiki>[</nowiki>''r'', ''c''<nowiki>]</nowiki>: (''r'') and the points  (''i'',''ir'' + ''c''), where i = 0, 1 : ''r'', ''c'' = 0, 1.
::<nowiki>[</nowiki>0,0<nowiki>]</nowiki>: {(0), (0,0), (1,0) }
::<nowiki>[</nowiki>0,1<nowiki>]</nowiki>: {(0), (0,1), (1,1) }
::<nowiki>[</nowiki>1,0<nowiki>]</nowiki>: {(1), (0,0), (1,1) }
::<nowiki>[</nowiki>1,1<nowiki>]</nowiki>: {(1), (0,1), (1,0) }

==Degenerate planes==

[[File:Degenerate planes wec.svg|thumb|(Non-empty) Degenerate Projective Planes]]

Degenerate planes do not fulfill the [[#axioms-of-projective-planes|third condition]] in the definition of a projective plane. They are not structurally complex enough to be interesting in their own right, but from time to time they arise as special cases in general arguments. There are seven degenerate planes according to {{harv | Albert | Sandler | 1968}}. They are:

# the empty set;
# a single point, no lines;
# a single line, no points;
# a single point, a collection of lines, the point is incident with all of the lines;
# a single line, a collection of points, the points are all incident with the line;
# a point P incident with a line m, an arbitrary collection of lines all incident with P and an arbitrary collection of points all incident with m;
# a point P not incident with a line m, an arbitrary (can be empty) collection of lines all incident with P and all the points of intersection of these lines with m.

These seven cases are not independent, the fourth and fifth can be considered as special cases of the sixth, while the second and third are special cases of the fourth and fifth respectively. The special case of the seventh plane with no additional lines can be seen as an eighth plane. All the cases can therefore be organized into two families of degenerate planes as follows (this representation is for finite degenerate planes, but may be extended to infinite ones in a natural way):

1) For any number of points ''P''<sub>1</sub>, ..., ''P''<sub>''n''</sub>, and lines ''L''<sub>1</sub>, ..., ''L''<sub>''m''</sub>,

:''L''<sub>1</sub> = { ''P''<sub>1</sub>, ''P''<sub>2</sub>, ..., ''P''<sub>''n''</sub>}
:''L''<sub>2</sub> = { ''P''<sub>1</sub> }
:''L''<sub>3</sub> = { ''P''<sub>1</sub> }
:...
:''L''<sub>''m''</sub> = { ''P''<sub>1</sub> }

2) For any number of points ''P''<sub>1</sub>, ..., ''P''<sub>''n''</sub>, and lines ''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub>,  (same number of points as lines)

:''L''<sub>1</sub> = { ''P''<sub>2</sub>, ''P''<sub>3</sub>, ..., ''P''<sub>''n''</sub> }
:''L''<sub>2</sub> = { ''P''<sub>1</sub>, ''P''<sub>2</sub> }
:''L''<sub>3</sub> = { ''P''<sub>1</sub>, ''P''<sub>3</sub> }
:...
:''L''<sub>''n''</sub> = { ''P''<sub>1</sub>, ''P''<sub>''n''</sub> }

==Collineations==
{{Main| Collineation}}

A [[collineation]] of a projective plane is a [[Bijective|bijective map]] of the plane to itself which maps points to points and lines to lines that preserves incidence, meaning that if ''σ'' is a bijection and point P is on line m, then P<sup>''σ''</sup> is on m<sup>''σ''</sup>.<ref>Geometers tend to like writing mappings in an exponential notation, so P<sup>''σ''</sup> means ''σ''(P) in a more conventional notation.</ref>

If ''σ'' is a collineation of a projective plane, a point P with P = P<sup>''σ''</sup> is called a '''''fixed point''''' of ''σ'', and a line m with m = m<sup>''σ''</sup> is called a '''''fixed line''''' of&nbsp;''σ''. The points on a fixed line need not be fixed points, their images under ''σ'' are just constrained to lie on this line. The collection of fixed points and fixed lines of a collineation form a '''''closed configuration''''', which is a system of points and lines that satisfy the first two but not necessarily the third condition in the [[#Definition|definition]] of a projective plane. Thus, the fixed point and fixed line structure for any collineation either form a projective plane by themselves, or a [[#Degenerate planes|degenerate plane]]. Collineations whose fixed structure forms a plane are called '''''planar collineations'''''.

===Homography===
{{Main|Projective transformation}}

A '''[[homography]]''' (or ''projective transformation'') of PG(2,''K'') is a collineation of this type of projective plane which is a linear transformation of the underlying vector space.  Using homogeneous coordinates they can be represented by invertible 3 &times; 3 matrices over ''K'' which act on the points of PG(2,''K'') by ''y'' = ''M'' ''x''<sup>T</sup>, where ''x'' and ''y'' are points in ''K''<sup>3</sup> (vectors) and ''M'' is an invertible 3 &times; 3 matrix over ''K''.<ref>The points are viewed as row vectors, so to make the matrix multiplication work in this expression, the point ''x'' must be written as a column vector.</ref> Two matrices represent the same projective transformation if one is a constant multiple of the other. Thus the group of projective transformations is the quotient of the [[general linear group]] by the scalar matrices called the [[projective linear group]].

Another type of collineation of PG(2,''K'') is induced by any [[automorphism]] of ''K'', these are called '''automorphic collineations'''. If α is an automorphism of ''K'', then the collineation given by (x<sub>0</sub>,x<sub>1</sub>,x<sub>2</sub>) → (x<sub>0</sub><sup>α</sup>,x<sub>1</sub><sup>α</sup>,x<sub>2</sub><sup>α</sup>) is an automorphic collineation. The [[fundamental theorem of projective geometry]] says that all the collineations of PG(2,''K'') are compositions of homographies and automorphic collineations. Automorphic collineations are planar collineations.

==Plane duality==
{{Main|Duality (projective geometry)}}

{{details|Incidence structure#Dual structure}}
A projective plane is defined axiomatically as an [[incidence structure]], in terms of a set ''P'' of points, a set ''L'' of lines, and an [[incidence relation]] ''I'' that determines which points lie on which lines. As P and L are only sets one can interchange their roles and define a '''plane dual structure'''.

By interchanging the role of "points" and "lines" in
: ''C'' = (''P'',''L'',''I'')
we obtain the dual structure
: ''C''* = (''L'',''P'',''I''*),
where ''I''* is the [[inverse relation]] of ''I''.

In a projective plane a statement involving points, lines and incidence between them that is obtained from another such statement by interchanging the words "point" and "line" and making whatever grammatical adjustments that are necessary, is called the '''plane dual statement''' of the first. The plane dual statement of "Two points are on a unique line." is "Two lines meet at a unique point." Forming the plane dual of a statement is known as ''dualizing'' the statement.

If a statement is true in a projective plane C, then the plane dual of that statement must be true in the dual plane C*. This follows since dualizing each statement in the proof "in C" gives a statement of the proof "in C*."

In the projective plane C, it can be shown that there exist four lines, no three of which are concurrent. Dualizing this theorem and the first two axioms in the definition of a projective plane shows that the plane dual structure C* is also a projective plane, called the '''dual plane''' of C.

If C and C* are isomorphic, then C is called '''''self-dual'''''. The projective planes PG(2,''K'') for any division ring ''K'' are self-dual. However, there are [[non-Desarguesian plane]]s which are not self-dual, such as the Hall planes and some that are, such as the [[Hughes plane]]s.

The '''''Principle of Plane Duality''''' says that dualizing any theorem in a self-dual projective plane C produces another theorem valid in C.

==Correlations==
{{main|correlation (projective geometry)}}
A '''duality''' is a map from a projective plane ''C'' = (''P'', ''L'', I) to its dual plane ''C''* = (''L'', ''P'', I*) (see [[#Plane duality|above]]) which preserves incidence. That is, a duality σ will map points to lines and lines to points (''P''<sup>σ</sup> = ''L'' and ''L''<sup>''σ''</sup> = ''P'') in such a way that if a point ''Q'' is on a line ''m'' (denoted by ''Q'' I ''m'') then ''Q''<sup>''σ''</sup> I* ''m''<sup>''σ''</sup> ⇔ ''m''<sup>''σ''</sup> I ''Q''<sup>''σ''</sup>.  A duality which is an isomorphism is called a '''correlation'''.<ref>{{harv|Dembowski|1968}}  pg.151.</ref> If a correlation exists then the projective plane ''C'' is self-dual.

In the special case that the projective plane is of the [[Projective space|PG(2,''K'')]] type, with ''K'' a division ring, a duality is called a '''reciprocity'''.<ref>{{harv|Casse|2006}} pg.94.</ref> These planes are always self-dual. By the [[fundamental theorem of projective geometry]] a reciprocity is the composition of an [[automorphic function]] of ''K'' and a [[homography]]. If the automorphism involved is the identity, then the reciprocity is called a '''projective correlation'''.

A correlation of order two (an [[Involution (mathematics)|involution]]) is called a '''polarity'''. If a correlation φ is not a polarity then φ<sup>2</sup> is a nontrivial collineation.

==Finite projective planes==

It can be shown that a projective plane has the same number of lines as it has points (infinite or finite).  Thus, for every finite projective plane there is an [[integer]] ''N'' ≥ 2 such that the plane has
:''N''<sup>2</sup> + ''N'' + 1 points,
:''N''<sup>2</sup> + ''N'' + 1 lines,
:''N'' + 1 points on each line, and
:''N'' + 1 lines through each point.
The number ''N'' is called the '''order''' of the projective plane. 

The projective plane of order 2 is called the [[Fano plane]]. See also the article on [[finite geometry]].

Using the vector space construction with finite fields there exists a projective plane of order ''N'' = ''p''<sup>''n''</sup>, for each prime power ''p''<sup>''n''</sup>.  In fact, for all known finite projective planes, the order ''N'' is a prime power.

The existence of finite projective planes of other orders is an open question.  The only general restriction known on the order is the [[Bruck-Ryser-Chowla theorem]] that if the order ''N'' is [[modular arithmetic|congruent]] to 1 or 2 mod 4, it must be the sum of two squares.  This rules out ''N'' = 6.  The next case ''N'' = 10 has been ruled out by massive computer calculations.  Nothing more is known; in particular, the question of whether there exists a finite projective plane of order ''N'' = 12 is still open.

Another longstanding open problem is whether there exist finite projective planes of ''prime'' order which are not finite field planes (equivalently, whether there exists a non-Desarguesian projective plane of prime order).

A projective plane of order ''N'' is a Steiner S(2, ''N''&nbsp;+&nbsp;1, ''N''<sup>2</sup>&nbsp;+&nbsp;''N''&nbsp;+&nbsp;1) system
(see [[Steiner system]]).  Conversely, one can prove that all Steiner systems of this form (λ = 2) are projective planes.

The number of mutually [[orthogonal Latin squares]] of order ''N'' is at most ''N'' &minus; 1.   ''N'' &minus; 1 exist if and only if there is a projective plane of order ''N''.

While the classification of all projective planes is far from complete, results are known for small orders:
*2 : all isomorphic to PG(2,2)
*3 : all isomorphic to PG(2,3)
*4 : all isomorphic to PG(2,4)
*5 : all isomorphic to PG(2,5)
*6 : impossible as the order of a projective plane, proved by [[Gaston Tarry|Tarry]] who showed that [[Euler]]'s [[thirty-six officers problem]] has no solution. However, the connection between these problems was not known until [[R. C. Bose|Bose]] proved it in 1938.<ref name="Lam">{{cite journal | journal = [[The American Mathematical Monthly]] | title = The Search for a Finite Projective Plane of Order 10 | last1 = Lam | first1 = Clement W.H. | volume = 98 | year = 1991 | pages = 305–318 | url = https://www.maa.org/programs/maa-awards/writing-awards/the-search-for-a-finite-projective-plane-of-order-10 | authorlink = Clement W. H. Lam | quote = In 1938, Bose explained why there is no projective plane of order 6.  He related the existence of a finite projective plane of order ''n'' to the existence of a hyper-Graeco-Latin square. (p. 306)}}</ref> 
*7 : all isomorphic to PG(2,7)
*8 : all isomorphic to PG(2,8)
*9 : PG(2,9), and three more different (non-isomorphic) [[non-Desarguesian plane]]s.  (All described in {{harv | Room | Kirkpatrick | 1971}}).
*10 : impossible as an order of a projective plane, proved by heavy computer calculation.<ref>{{harv|Lam|1991}}</ref>
*11 : at least PG(2,11), others are not known but possible.
*12 : it is conjectured to be impossible as an order of a projective plane.

==Projective planes in higher-dimensional projective spaces==

Projective planes may be thought of as [[Projective geometry|projective geometries]] of "geometric" dimension two.<ref>There are competing notions of ''dimension'' in geometry and algebra (vector spaces). In geometry, lines are 1 dimensional, planes are 2 dimensional, solids are 3 dimensional, etc. In a vector space however, the dimension is the number of vectors in a basis. When geometries are constructed from vector spaces, these two notions of dimension can lead to confusion, so it is often the case that the geometric concept is called ''geometric'' or ''projective'' dimension and the other is ''algebraic'' or ''vector space'' dimension. The two concepts are numerically related by: algebraic dimension = geometric dimension + 1.</ref> 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''<sup>''d''+1</sup>, 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''<sup>''d'' + 1</sup> and a line in  PG(''d'',''K'') corresponds to a plane through the origin in ''K''<sup>''d'' + 1</sup>.  In fact, each ''i-dimensional'' object in  PG(''d'',''K''), with ''i'' &lt; ''d'',  is an (''i''&nbsp;+&nbsp;1)-dimensional (algebraic) vector subspace of ''K''<sup>''d'' + 1</sup> ("goes through the origin"). The projective spaces in turn generalize to the [[Grassmannian|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 plane]]s), 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.<ref>"One might say, with some justice, that projective geometry, in so far as present day research is concerned, has split into two quite separate fields. On the one hand, the researcher into the foundations of geometry tends to regard Desarguesian spaces as completely known. Since the only possible non-Desarguesian spaces are planes, his attention is restricted to the theory of projective planes, especially the non- Desarguesian planes. On the other hand stand all those researchers - and especially, the algebraic geometers - who are unwilling to be bound to two-dimensional space and uninterested in permitting non-Desarguesian planes to assume an exceptional role in their theorems. For the latter group of researchers, there are no projective spaces except the Desarguesian spaces." {{harv|Bruck|Bose|1964|loc=Introduction}}</ref>

==See also==
*[[Block design]] - a generalization of a finite projective plane.
*[[Combinatorial design]]
*[[Incidence structure]]
*[[Projective geometry]]
*[[Non-Desarguesian plane]]
*[[Smooth projective plane]]
*[[VC dimension#VC dimension of a finite projective plane|VC dimension of a finite projective plane]]

==Notes==
{{reflist}}

==References==
*{{Citation | last1 = Albert | first1 = A. Adrian |author1-link=Abraham Adrian Albert| last2 = Sandler | first2 = Reuben | title = An Introduction to Finite Projective Planes | publisher = Holt, Rinehart and Winston | place = New York | year = 1968}}
*{{citation|first=John C.|last=Baez|authorlink=John C. Baez|title=The octonions|journal=Bull. Amer. Math. Soc.|volume= 39|year=2002|pages=145–205|url=http://math.ucr.edu/home/baez/octonions/|doi=10.1090/S0273-0979-01-00934-X|arxiv=math/0105155}}
* {{Citation | last1 = Bamberg | first1 = John | last2 = Penttila | first2 = Tim | title = Completing Segre's proof of Wedderburn's little theorem | journal = Bulletin of the London Mathematical Society | year = 2015 | volume = 47 | pages = 483–492 | doi = 10.1112/blms/bdv021| url = https://api.research-repository.uwa.edu.au/files/9699048/BambergPenttilaRevised.pdf }}
*{{citation | first=Glen E. | last=Bredon | authorlink=Glen Bredon | title=Topology and Geometry | publisher=Springer-Verlag | year=1993 | isbn=0-387-97926-3}}
* {{citation|last=Bruck|first=R. H.|authorlink=Richard Bruck|title=Difference Sets in a Finite Group|journal=Trans. Amer. Math. Soc.|year=1955|volume=78|pages=464–481|doi=10.1090/s0002-9947-1955-0069791-3}}
* {{citation|last=Bruck|first=R. H.|author1-link=Richard Bruck|last2=Bose|first2=R. C.|author2-link=Raj Chandra Bose|title=The Construction of Translation Planes from Projective Spaces|journal=J. Algebra|year=1964|volume=1|pages=85–102|doi=10.1016/0021-8693(64)90010-9|url=http://repository.lib.ncsu.edu/bitstream/1840.4/2172/1/ISMS_1963_378.pdf}}
* {{Citation | last = Casse | first = Rey | title = Projective Geometry: An Introduction | publisher = Oxford University Press | place = Oxford | year = 2006 | isbn =0-19-929886-6 }}
* {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44 | mr=0233275  | year=1968 | isbn=3-540-61786-8}}
*{{citation
 | last = Gleason | first = Andrew M. | authorlink = Andrew Gleason
 | doi = 10.2307/2372469
 | journal = [[American Journal of Mathematics]]
 | mr = 0082684
 | pages = 797–807
 | title = Finite Fano planes
 | volume = 78
 | year = 1956}}
*{{Citation | last1=Hall | first1=Marshall |authorlink=Marshall Hall (mathematician)| title=Projective planes | jstor=1990331 | mr=0008892  | year=1943 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=54 | pages=229–277 | issue=2 | publisher=American Mathematical Society | doi=10.2307/1990331}}
*{{citation | first1=D.|last1= Hughes|first2= F.|last2=Piper | title=Projective Planes | publisher=Springer-Verlag | year=1973 | isbn=0-387-90044-6}}
*{{Citation | last = Kárteszi | first = F. | title = Introduction to Finite Geometries| publisher = North-Holland | place = Amsterdam | year = 1976 | isbn = 0-7204-2832-7}}
*{{citation| last = Lam | first = Clement W. H. | title=The Search for a Finite Projective Plane of order 10 | journal=American Mathematical Monthly | year = 1991| volume = 98 | issue= 4| pages=305–318| url=http://www.cecm.sfu.ca/organics/papers/lam/ | doi=10.2307/2323798}}
*Lindner, Charles C. and Christopher A. Rodger (eds.) ''Design Theory'', CRC-Press; 1 edition (October 31, 1997). {{isbn|0-8493-3986-3}}.
*{{Citation | last = Lüneburg | first = Heinz | title = Translation Planes | publisher = Springer Verlag | place = Berlin | year = 1980 | isbn = 0-387-09614-0}}
*{{Citation | last1=Moulton | first1=Forest Ray | authorlink = Forest Ray Moulton | title=A Simple Non-Desarguesian Plane Geometry | jstor=1986419 | year=1902 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=3 | issue=2 | pages=192–195 | doi=10.2307/1986419}}
*{{Citation | last1 = Room | first1 = T. G.|author1-link=Thomas Gerald Room | last2 = Kirkpatrick | first2 = P. B. | title = Miniquaternion Geometry | publisher = Cambridge University Press | place = Cambridge | year = 1971 |isbn = 0-521-07926-8}}
*{{citation | first=I. R.|last=Shafarevich |authorlink=Igor Shafarevich| title=Basic Algebraic Geometry | publisher=Springer-Verlag | year=1994 | isbn=0-387-54812-2}}
*{{Citation | last = Stevenson | first = Frederick W. | title = Projective Planes | publisher = W.H. Freeman and Company | place = San Francisco |year = 1972 | isbn = 0-7167-0443-9}}

==External links==
{{Commons category|Projective plane}}
*G. Eric Moorhouse, ''[http://ericmoorhouse.org/pub/planes/ Projective Planes of Small Order]'', (2003)
*[http://www.ams.org/notices/200710/tx071001294p.pdf Ch. Weibel: Survey of Nondesarguesian planes ]
*{{mathworld|urlname=ProjectivePlane|title=Projective plane}}
*{{PlanetMath|urlname=projectiveplane|title="Projective plane"}}

{{DEFAULTSORT:Projective Plane}}
[[Category:Projective geometry]]
[[Category:Incidence geometry]]
[[Category:Euclidean plane geometry]]
[[Category:Algebraic geometry]]