Namespaces
Variants
Actions

Difference between revisions of "Projective plane"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
p0753101.png
 +
$#A+1 = 79 n = 0
 +
$#C+1 = 79 : ~/encyclopedia/old_files/data/P075/P.0705310 Projective plane,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''two-dimensional projective space''
 
''two-dimensional projective space''
  
An incidence structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753101.png" /> (cf. [[Incidence system|Incidence system]]). The elements of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753102.png" /> are called points, the elements of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753103.png" /> are called (straight) lines and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753104.png" /> is an incidence relation. An incidence structure satisfies the following axioms:
+
An incidence structure $  \pi = \{ {\mathcal P} , {\mathcal L} , I \} $(
 +
cf. [[Incidence system|Incidence system]]). The elements of the set $  {\mathcal P} $
 +
are called points, the elements of the set $  {\mathcal L} $
 +
are called (straight) lines and $  I $
 +
is an incidence relation. An incidence structure satisfies the following axioms:
  
1) for any two distinct points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753105.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753106.png" /> there is a unique line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753107.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753108.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p0753109.png" />;
+
1) for any two distinct points p $
 +
and $  q $
 +
there is a unique line $  L $
 +
such that $  pIL $
 +
and $  qIL $;
  
2) for any two distinct lines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531011.png" /> there is a unique point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531012.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531014.png" />; and
+
2) for any two distinct lines $  L $
 +
and $  M $
 +
there is a unique point p $
 +
such that $  pIL $
 +
and $  pIM $;  
 +
and
  
 
3) there exist four points no three of which are incident with one line.
 
3) there exist four points no three of which are incident with one line.
Line 13: Line 38:
 
Figure: p075310a
 
Figure: p075310a
  
For example, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531015.png" /> of lines and planes of three-dimensional affine space, passing through a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531016.png" />, is a projective plane if as projective points one takes the lines of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531017.png" /> and as projective lines one takes the planes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531018.png" />. In this interpretation the [[Homogeneous coordinates|homogeneous coordinates]] of a point of the projective plane over a field have a clear geometric meaning as the coordinates of some vector on the line corresponding to the point (cf. [[Projective geometry|Projective geometry]]; [[Projective coordinates|Projective coordinates]]). Another example is the projective plane constituted by seven points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531020.png" />, and the seven lines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531023.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531027.png" /> (Fig. a). It is a representative of the class of finite projective planes. A projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531028.png" /> is called a finite projective plane of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531029.png" /> if the incidence relation satisfies one more axiom:
+
For example, the set $  \Pi $
 +
of lines and planes of three-dimensional affine space, passing through a point $  o $,  
 +
is a projective plane if as projective points one takes the lines of $  \Pi $
 +
and as projective lines one takes the planes of $  \Pi $.  
 +
In this interpretation the [[Homogeneous coordinates|homogeneous coordinates]] of a point of the projective plane over a field have a clear geometric meaning as the coordinates of some vector on the line corresponding to the point (cf. [[Projective geometry|Projective geometry]]; [[Projective coordinates|Projective coordinates]]). Another example is the projective plane constituted by seven points $  A _ {i} $,  
 +
$  i = 1 \dots 7 $,  
 +
and the seven lines $  \{ A _ {1} , A _ {2} , A _ {4} \} $,
 +
$  \{ A _ {2} , A _ {3} , A _ {5} \} $,
 +
$  \{ A _ {3} , A _ {4} , A _ {6} \} $,
 +
$  \{ A _ {4} , A _ {5} , A _ {7} \} $,
 +
$  \{ A _ {5} , A _ {6} , A _ {1} \} $,  
 +
$  \{ A _ {6} , A _ {7} , A _ {2} \} $,  
 +
$  \{ A _ {7} , A _ {1} , A _ {3} \} $(
 +
Fig. a). It is a representative of the class of finite projective planes. A projective plane $  P ( 2, n) $
 +
is called a finite projective plane of order $  n $
 +
if the incidence relation satisfies one more axiom:
  
4) there is a line incident with exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531030.png" /> points.
+
4) there is a line incident with exactly $  n + 1 $
 +
points.
  
In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531031.png" /> every point (line) is incident with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531032.png" /> lines (points), and the number of points of the plane, which is equal to the number of lines, is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531033.png" />. The question for which values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531034.png" /> a projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531035.png" /> exists is unanswered (1990). The existence of a finite projective plane whose order is a power of a prime number has been proved (cf. [[#References|[4]]]). The non-existence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531036.png" /> has been proved for a large class of numbers: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531037.png" /> is congruent to 1 or 2 modulo 4 and if in the prime factorization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531038.png" /> there is at least one prime number congruent to 3 modulo 4 that occurs with odd exponent, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531039.png" /> does not exist. Such are, e.g., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531040.png" />. The problems remain open for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531041.png" />. An important problem in the theory of finite projective planes is the study of subplanes of a given <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531042.png" />. E.g., if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531043.png" /> is a proper subplane of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531044.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531045.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531046.png" /> (cf. [[#References|[5]]]).
+
In $  P ( 2, n) $
 +
every point (line) is incident with $  n + 1 $
 +
lines (points), and the number of points of the plane, which is equal to the number of lines, is $  n  ^ {2} + n + 1 $.  
 +
The question for which values of $  n $
 +
a projective plane $  P ( 2, n) $
 +
exists is unanswered (1990). The existence of a finite projective plane whose order is a power of a prime number has been proved (cf. [[#References|[4]]]). The non-existence of $  P ( 2, n) $
 +
has been proved for a large class of numbers: If $  n $
 +
is congruent to 1 or 2 modulo 4 and if in the prime factorization of $  n $
 +
there is at least one prime number congruent to 3 modulo 4 that occurs with odd exponent, then $  P ( 2, n) $
 +
does not exist. Such are, e.g., $  n = 6, 14, 21, 22 , . . . $.  
 +
The problems remain open for $  n = 10, 12, 15, 18 , . . . $.  
 +
An important problem in the theory of finite projective planes is the study of subplanes of a given $  P ( 2, n) $.  
 +
E.g., if $  P ( 2, m) $
 +
is a proper subplane of $  P ( 2, n) $,  
 +
then $  m  ^ {2} + m \leq  n $
 +
or $  m  ^ {2} = n $(
 +
cf. [[#References|[5]]]).
  
The concept of duality is characteristic for projective planes. Two projective planes are said to be dual if between the points (lines) of one plane and the lines (points) of the other there is a one-to-one correspondence preserving incidence. Certain projective planes (e.g. projective planes over a field) admit a dual mapping onto itself, called a polarity; projective planes admitting a polarity are called self-dual. The so-called little duality principle holds for projective planes: If some statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531047.png" /> about points and lines of a projective plane formulated solely in terms of incidence between them holds, then the statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531048.png" /> dual to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531049.png" /> also holds, i.e. the statement obtained from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531050.png" /> by replacing the word  "point"  with  "line"  and vice versa also holds.
+
The concept of duality is characteristic for projective planes. Two projective planes are said to be dual if between the points (lines) of one plane and the lines (points) of the other there is a one-to-one correspondence preserving incidence. Certain projective planes (e.g. projective planes over a field) admit a dual mapping onto itself, called a polarity; projective planes admitting a polarity are called self-dual. The so-called little duality principle holds for projective planes: If some statement $  {\mathcal A} $
 +
about points and lines of a projective plane formulated solely in terms of incidence between them holds, then the statement $  {\mathcal B} $
 +
dual to $  {\mathcal A} $
 +
also holds, i.e. the statement obtained from $  {\mathcal A} $
 +
by replacing the word  "point"  with  "line"  and vice versa also holds.
  
An isomorphic mapping of a projective plane onto itself is called a collineation. A collineation of a finite projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531051.png" /> is a permutation of the set of points and a permutation of the set of lines, where these two permutations are compatible. A finite projective plane is Desarguesian if it has a group of collineations that acts doubly-transitively on its points. The group of collineations of a Desarguesian projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531052.png" /> has order
+
An isomorphic mapping of a projective plane onto itself is called a collineation. A collineation of a finite projective plane $  P ( 2, n) $
 +
is a permutation of the set of points and a permutation of the set of lines, where these two permutations are compatible. A finite projective plane is Desarguesian if it has a group of collineations that acts doubly-transitively on its points. The group of collineations of a Desarguesian projective plane $  \mathop{\rm PG} ( 2, p ^ {h} ) $
 +
has order
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531053.png" /></td> </tr></table>
+
$$
 +
h ( p  ^ {2h} + p  ^ {h} + 1) ( p  ^ {2h} + p  ^ {h} ) p  ^ {2h}
 +
( p  ^ {h} - 1)  ^ {2} .
 +
$$
  
The group of collineations of a non-Desarguesian projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531054.png" /> has order at most
+
The group of collineations of a non-Desarguesian projective plane $  P ( 2, n) $
 +
has order at most
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531055.png" /></td> </tr></table>
+
$$
 +
n  ^ {s} ( n  ^ {2} + n + 1) ( n  ^ {2} + n) n  ^ {2} ( n - 1)  ^ {2} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531056.png" />. The orders of the groups of collineations of the known non-Desarguesian projective planes do not exceed the orders of the groups of collineations of the Desarguesian planes of the same order.
+
where $  s \leq  \mathop{\rm ln} _ {2}  n $.  
 +
The orders of the groups of collineations of the known non-Desarguesian projective planes do not exceed the orders of the groups of collineations of the Desarguesian planes of the same order.
  
 
The Lenz–Barlotti classification of projective planes is based on considering the 53 types of sets
 
The Lenz–Barlotti classification of projective planes is based on considering the 53 types of sets
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531057.png" /></td> </tr></table>
+
$$
 +
T ( G)  = \
 +
\{ {( x, X) } : {G  \textrm{ is }  ( x, X) \textrm{ "\AAh"transitive  } } \}
 +
,
 +
$$
  
defined for full collineation groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531058.png" />. One of the basic approaches to study projective planes is the introduction of coordinates and a [[ternary operation]] in these planes. To every possible type of projective plane in the Lenz–Barlotti classification corresponds a system of algebraic laws that must be satisfied by the natural coordinate domain of the projective planes determined by the ternary operation. E.g., a projective plane is Desarguesian (Pappian) if and only if all its natural coordinate domains are skew-fields (fields). A Desarguesian finite projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531059.png" /> is Pappian.
+
defined for full collineation groups $  G $.  
 +
One of the basic approaches to study projective planes is the introduction of coordinates and a [[ternary operation]] in these planes. To every possible type of projective plane in the Lenz–Barlotti classification corresponds a system of algebraic laws that must be satisfied by the natural coordinate domain of the projective planes determined by the ternary operation. E.g., a projective plane is Desarguesian (Pappian) if and only if all its natural coordinate domains are skew-fields (fields). A Desarguesian finite projective plane $  P ( 2, n) $
 +
is Pappian.
  
A special feature of a finite Desarguesian projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531060.png" /> is that it has a collineation of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531061.png" /> that acts cyclically on points and lines. This makes it possible to represent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531062.png" /> by a cyclic array. This representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531063.png" /> is as follows. Its points, enumerated by the natural numbers from 1 to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531064.png" />, are distributed over a rectangular array of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531065.png" /> rows and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531066.png" /> columns such that each column, which represents a line with all points on it, is obtained by adding 1 (modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531067.png" />) to the elements of the previous column. E.g., a representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531068.png" /> is
+
A special feature of a finite Desarguesian projective plane $  \mathop{\rm PG} ( 2, n) $
 +
is that it has a collineation of order $  n  ^ {2} + n + 1 $
 +
that acts cyclically on points and lines. This makes it possible to represent $  \mathop{\rm PG} ( 2, n) $
 +
by a cyclic array. This representation of $  \mathop{\rm PG} ( 2, n) $
 +
is as follows. Its points, enumerated by the natural numbers from 1 to $  n  ^ {2} + n + 1 $,  
 +
are distributed over a rectangular array of $  n + 1 $
 +
rows and $  n  ^ {2} + n + 1 $
 +
columns such that each column, which represents a line with all points on it, is obtained by adding 1 (modulo $  n  ^ {2} + n + 1 $)  
 +
to the elements of the previous column. E.g., a representation of $  P ( 2, 2) $
 +
is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531069.png" /></td> </tr></table>
+
$$
 +
\begin{array}{c}
 +
1 \\
 +
2 \\
 +
4
 +
\end{array}
 +
\
 +
\begin{array}{c}
 +
2 \\
 +
3 \\
 +
5
 +
\end{array}
 +
\
 +
\begin{array}{c}
 +
3 \\
 +
4 \\
 +
6
 +
\end{array}
 +
\
 +
\begin{array}{c}
 +
4 \\
 +
5 \\
 +
7
 +
\end{array}
 +
\
 +
\begin{array}{c}
 +
5 \\
 +
6 \\
 +
1
 +
\end{array}
 +
\
 +
\begin{array}{c}
 +
6 \\
 +
7 \\
 +
2
 +
\end{array}
 +
\
 +
\begin{array}{c}
 +
7 \\
 +
1 \\
 +
3
 +
\end{array}
  
The planes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531070.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531071.png" />, are unique up to an isomorphism — they are Desarguesian or Galois planes (cf. [[#References|[6]]]), while already for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531072.png" /> four non-isomorphic planes are known (cf. [[#References|[7]]]).
+
$$
  
If to the axioms of a projective plane and Desargues' assumption one adds order axioms (described by separation of pairs of points lying on one straight line, e.g. in Fig. b the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531073.png" /> separates the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531074.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531075.png" /> does not separate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531076.png" />) and the continuity axiom, then the projective plane thus obtained is isomorphic to the real affine plane completed by improper elements: an improper (infinitely-distant) point is added to each line, to parallel lines the same point, to non-parallel lines distinct points, and the improper points are required to ly on one improper straight line.
+
The planes  $  P ( 2, n) $,
 +
$  n \leq  8 $,
 +
are unique up to an isomorphism — they are Desarguesian or Galois planes (cf. [[#References|[6]]]), while already for  $  n = 9 $
 +
four non-isomorphic planes are known (cf. [[#References|[7]]]).
 +
 
 +
If to the axioms of a projective plane and Desargues' assumption one adds order axioms (described by separation of pairs of points lying on one straight line, e.g. in Fig. b the pair $  C, D $
 +
separates the pair $  A, B $,  
 +
while $  A, C $
 +
does not separate $  B, D $)  
 +
and the continuity axiom, then the projective plane thus obtained is isomorphic to the real affine plane completed by improper elements: an improper (infinitely-distant) point is added to each line, to parallel lines the same point, to non-parallel lines distinct points, and the improper points are required to ly on one improper straight line.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p075310b.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p075310b.gif" />
Line 53: Line 188:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H.S.M. Coxeter,  "Projective geometry" , Cambridge Univ. Press  (1987)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Baer,  "Linear algebra and projective geometry" , Acad. Press  (1972)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.A. Skornyakov,  "Projective planes"  ''Uspekhi Mat. Nauk'' , '''6''' :  6  (1951)  pp. 112–154  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  F. Kárteszi,  "Introduction to finite geometries" , North-Holland  (1976)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Hall,  "The theory of groups" , Macmillan  (1959)  pp. Chapt. 20</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  R. Dembowski,  "Finite geometries" , Springer  (1968)  pp. 254</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  T.G. Room,  P.B. Kirkpatrick,  "Miniquaternion geometry" , Cambridge Univ. Press  (1971)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H.S.M. Coxeter,  "Projective geometry" , Cambridge Univ. Press  (1987)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Baer,  "Linear algebra and projective geometry" , Acad. Press  (1972)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.A. Skornyakov,  "Projective planes"  ''Uspekhi Mat. Nauk'' , '''6''' :  6  (1951)  pp. 112–154  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  F. Kárteszi,  "Introduction to finite geometries" , North-Holland  (1976)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Hall,  "The theory of groups" , Macmillan  (1959)  pp. Chapt. 20</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  R. Dembowski,  "Finite geometries" , Springer  (1968)  pp. 254</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  T.G. Room,  P.B. Kirkpatrick,  "Miniquaternion geometry" , Cambridge Univ. Press  (1971)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
Line 63: Line 196:
 
The fact that a finite projective plane with doubly-transitively acting group of collineations is Desarguesian is the Ostrom–Wagner theorem.
 
The fact that a finite projective plane with doubly-transitively acting group of collineations is Desarguesian is the Ostrom–Wagner theorem.
  
A finite Desarguesian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531077.png" /> is Pappian, since a finite skew-field is commutative.
+
A finite Desarguesian $  P( 2, n) $
 +
is Pappian, since a finite skew-field is commutative.
  
A collineation of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531078.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075310/p07531079.png" /> is called a Singer cycle, [[#References|[a7]]]. It has now been settled by exhaustive computer search that there are no projective planes of order 10, and precisely four non-isomorphic projective planes of order 9. The algebraic structure coordinatizing a projective plane is usually called a planar ternary ring. The flag-transitive finite projective planes have been determined by W.M. Kantor [[#References|[a1]]].
+
A collineation of order $  n  ^ {2} + n+ 1 $
 +
of $  PG( 2, n) $
 +
is called a Singer cycle, [[#References|[a7]]]. It has now been settled by exhaustive computer search that there are no projective planes of order 10, and precisely four non-isomorphic projective planes of order 9. The algebraic structure coordinatizing a projective plane is usually called a planar ternary ring. The flag-transitive finite projective planes have been determined by W.M. Kantor [[#References|[a1]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W.M. Kantor,  "Primitive permutation groups of odd degree, and an application to finite projective planes"  ''J. Algebra'' , '''106'''  (1987)  pp. 15–45</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G. Pickert,  "Projective Ebenen" , Springer  (1975)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D.R. Hughes,  F.C. Piper,  "Projective planes" , Springer  (1973)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  H. Lüneburg,  "Translation planes" , Springer  (1979)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  K.G.C. von Staudt,  "Beiträge zur Geometrie der Lage" , '''I''' , Korn , Nürnberg  (1865)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G. Fano,  "Sui postulati fondamentali della geometria proiettiva"  ''Giornale di Mat.'' , '''30'''  (1892)  pp. 106–132</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  I. Singer,  "A theorem in finite projective geometry and some applications to number theory"  ''Trans. Amer. Math. Soc.'' , '''43'''  (1938)  pp. 377–385</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W.M. Kantor,  "Primitive permutation groups of odd degree, and an application to finite projective planes"  ''J. Algebra'' , '''106'''  (1987)  pp. 15–45</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G. Pickert,  "Projective Ebenen" , Springer  (1975)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D.R. Hughes,  F.C. Piper,  "Projective planes" , Springer  (1973)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  H. Lüneburg,  "Translation planes" , Springer  (1979)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  K.G.C. von Staudt,  "Beiträge zur Geometrie der Lage" , '''I''' , Korn , Nürnberg  (1865)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G. Fano,  "Sui postulati fondamentali della geometria proiettiva"  ''Giornale di Mat.'' , '''30'''  (1892)  pp. 106–132</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  I. Singer,  "A theorem in finite projective geometry and some applications to number theory"  ''Trans. Amer. Math. Soc.'' , '''43'''  (1938)  pp. 377–385</TD></TR></table>

Revision as of 08:08, 6 June 2020


two-dimensional projective space

An incidence structure $ \pi = \{ {\mathcal P} , {\mathcal L} , I \} $( cf. Incidence system). The elements of the set $ {\mathcal P} $ are called points, the elements of the set $ {\mathcal L} $ are called (straight) lines and $ I $ is an incidence relation. An incidence structure satisfies the following axioms:

1) for any two distinct points $ p $ and $ q $ there is a unique line $ L $ such that $ pIL $ and $ qIL $;

2) for any two distinct lines $ L $ and $ M $ there is a unique point $ p $ such that $ pIL $ and $ pIM $; and

3) there exist four points no three of which are incident with one line.

Figure: p075310a

For example, the set $ \Pi $ of lines and planes of three-dimensional affine space, passing through a point $ o $, is a projective plane if as projective points one takes the lines of $ \Pi $ and as projective lines one takes the planes of $ \Pi $. In this interpretation the homogeneous coordinates of a point of the projective plane over a field have a clear geometric meaning as the coordinates of some vector on the line corresponding to the point (cf. Projective geometry; Projective coordinates). Another example is the projective plane constituted by seven points $ A _ {i} $, $ i = 1 \dots 7 $, and the seven lines $ \{ A _ {1} , A _ {2} , A _ {4} \} $, $ \{ A _ {2} , A _ {3} , A _ {5} \} $, $ \{ A _ {3} , A _ {4} , A _ {6} \} $, $ \{ A _ {4} , A _ {5} , A _ {7} \} $, $ \{ A _ {5} , A _ {6} , A _ {1} \} $, $ \{ A _ {6} , A _ {7} , A _ {2} \} $, $ \{ A _ {7} , A _ {1} , A _ {3} \} $( Fig. a). It is a representative of the class of finite projective planes. A projective plane $ P ( 2, n) $ is called a finite projective plane of order $ n $ if the incidence relation satisfies one more axiom:

4) there is a line incident with exactly $ n + 1 $ points.

In $ P ( 2, n) $ every point (line) is incident with $ n + 1 $ lines (points), and the number of points of the plane, which is equal to the number of lines, is $ n ^ {2} + n + 1 $. The question for which values of $ n $ a projective plane $ P ( 2, n) $ exists is unanswered (1990). The existence of a finite projective plane whose order is a power of a prime number has been proved (cf. [4]). The non-existence of $ P ( 2, n) $ has been proved for a large class of numbers: If $ n $ is congruent to 1 or 2 modulo 4 and if in the prime factorization of $ n $ there is at least one prime number congruent to 3 modulo 4 that occurs with odd exponent, then $ P ( 2, n) $ does not exist. Such are, e.g., $ n = 6, 14, 21, 22 , . . . $. The problems remain open for $ n = 10, 12, 15, 18 , . . . $. An important problem in the theory of finite projective planes is the study of subplanes of a given $ P ( 2, n) $. E.g., if $ P ( 2, m) $ is a proper subplane of $ P ( 2, n) $, then $ m ^ {2} + m \leq n $ or $ m ^ {2} = n $( cf. [5]).

The concept of duality is characteristic for projective planes. Two projective planes are said to be dual if between the points (lines) of one plane and the lines (points) of the other there is a one-to-one correspondence preserving incidence. Certain projective planes (e.g. projective planes over a field) admit a dual mapping onto itself, called a polarity; projective planes admitting a polarity are called self-dual. The so-called little duality principle holds for projective planes: If some statement $ {\mathcal A} $ about points and lines of a projective plane formulated solely in terms of incidence between them holds, then the statement $ {\mathcal B} $ dual to $ {\mathcal A} $ also holds, i.e. the statement obtained from $ {\mathcal A} $ by replacing the word "point" with "line" and vice versa also holds.

An isomorphic mapping of a projective plane onto itself is called a collineation. A collineation of a finite projective plane $ P ( 2, n) $ is a permutation of the set of points and a permutation of the set of lines, where these two permutations are compatible. A finite projective plane is Desarguesian if it has a group of collineations that acts doubly-transitively on its points. The group of collineations of a Desarguesian projective plane $ \mathop{\rm PG} ( 2, p ^ {h} ) $ has order

$$ h ( p ^ {2h} + p ^ {h} + 1) ( p ^ {2h} + p ^ {h} ) p ^ {2h} ( p ^ {h} - 1) ^ {2} . $$

The group of collineations of a non-Desarguesian projective plane $ P ( 2, n) $ has order at most

$$ n ^ {s} ( n ^ {2} + n + 1) ( n ^ {2} + n) n ^ {2} ( n - 1) ^ {2} , $$

where $ s \leq \mathop{\rm ln} _ {2} n $. The orders of the groups of collineations of the known non-Desarguesian projective planes do not exceed the orders of the groups of collineations of the Desarguesian planes of the same order.

The Lenz–Barlotti classification of projective planes is based on considering the 53 types of sets

$$ T ( G) = \ \{ {( x, X) } : {G \textrm{ is } ( x, X) \textrm{ "\AAh"transitive } } \} , $$

defined for full collineation groups $ G $. One of the basic approaches to study projective planes is the introduction of coordinates and a ternary operation in these planes. To every possible type of projective plane in the Lenz–Barlotti classification corresponds a system of algebraic laws that must be satisfied by the natural coordinate domain of the projective planes determined by the ternary operation. E.g., a projective plane is Desarguesian (Pappian) if and only if all its natural coordinate domains are skew-fields (fields). A Desarguesian finite projective plane $ P ( 2, n) $ is Pappian.

A special feature of a finite Desarguesian projective plane $ \mathop{\rm PG} ( 2, n) $ is that it has a collineation of order $ n ^ {2} + n + 1 $ that acts cyclically on points and lines. This makes it possible to represent $ \mathop{\rm PG} ( 2, n) $ by a cyclic array. This representation of $ \mathop{\rm PG} ( 2, n) $ is as follows. Its points, enumerated by the natural numbers from 1 to $ n ^ {2} + n + 1 $, are distributed over a rectangular array of $ n + 1 $ rows and $ n ^ {2} + n + 1 $ columns such that each column, which represents a line with all points on it, is obtained by adding 1 (modulo $ n ^ {2} + n + 1 $) to the elements of the previous column. E.g., a representation of $ P ( 2, 2) $ is

$$ \begin{array}{c} 1 \\ 2 \\ 4 \end{array} \ \begin{array}{c} 2 \\ 3 \\ 5 \end{array} \ \begin{array}{c} 3 \\ 4 \\ 6 \end{array} \ \begin{array}{c} 4 \\ 5 \\ 7 \end{array} \ \begin{array}{c} 5 \\ 6 \\ 1 \end{array} \ \begin{array}{c} 6 \\ 7 \\ 2 \end{array} \ \begin{array}{c} 7 \\ 1 \\ 3 \end{array} $$

The planes $ P ( 2, n) $, $ n \leq 8 $, are unique up to an isomorphism — they are Desarguesian or Galois planes (cf. [6]), while already for $ n = 9 $ four non-isomorphic planes are known (cf. [7]).

If to the axioms of a projective plane and Desargues' assumption one adds order axioms (described by separation of pairs of points lying on one straight line, e.g. in Fig. b the pair $ C, D $ separates the pair $ A, B $, while $ A, C $ does not separate $ B, D $) and the continuity axiom, then the projective plane thus obtained is isomorphic to the real affine plane completed by improper elements: an improper (infinitely-distant) point is added to each line, to parallel lines the same point, to non-parallel lines distinct points, and the improper points are required to ly on one improper straight line.

Figure: p075310b

A projective plane is called topological if the sets of its points and lines are topological spaces and if the join and intersection are continuous. In a topological plane the ternary operation is continuous in all its arguments. From the topological point of view the point set of a real projective plane (as well as the set of lines) is a closed non-orientable manifold whose Euler characteristic is 1.

References

[1] H.S.M. Coxeter, "Projective geometry" , Cambridge Univ. Press (1987)
[2] R. Baer, "Linear algebra and projective geometry" , Acad. Press (1972)
[3] L.A. Skornyakov, "Projective planes" Uspekhi Mat. Nauk , 6 : 6 (1951) pp. 112–154 (In Russian)
[4] F. Kárteszi, "Introduction to finite geometries" , North-Holland (1976)
[5] M. Hall, "The theory of groups" , Macmillan (1959) pp. Chapt. 20
[6] R. Dembowski, "Finite geometries" , Springer (1968) pp. 254
[7] T.G. Room, P.B. Kirkpatrick, "Miniquaternion geometry" , Cambridge Univ. Press (1971)

Comments

A projective plane is called Desarguesian if the Desargues assumption holds in it (i.e. if it is isomorphic to a projective plane over a skew-field).

The idea of finite projective planes (and spaces) was introduced by K. von Staudt [a5], pp. 87–88.

The fact that a finite projective plane with doubly-transitively acting group of collineations is Desarguesian is the Ostrom–Wagner theorem.

A finite Desarguesian $ P( 2, n) $ is Pappian, since a finite skew-field is commutative.

A collineation of order $ n ^ {2} + n+ 1 $ of $ PG( 2, n) $ is called a Singer cycle, [a7]. It has now been settled by exhaustive computer search that there are no projective planes of order 10, and precisely four non-isomorphic projective planes of order 9. The algebraic structure coordinatizing a projective plane is usually called a planar ternary ring. The flag-transitive finite projective planes have been determined by W.M. Kantor [a1].

References

[a1] W.M. Kantor, "Primitive permutation groups of odd degree, and an application to finite projective planes" J. Algebra , 106 (1987) pp. 15–45
[a2] G. Pickert, "Projective Ebenen" , Springer (1975)
[a3] D.R. Hughes, F.C. Piper, "Projective planes" , Springer (1973)
[a4] H. Lüneburg, "Translation planes" , Springer (1979)
[a5] K.G.C. von Staudt, "Beiträge zur Geometrie der Lage" , I , Korn , Nürnberg (1865)
[a6] G. Fano, "Sui postulati fondamentali della geometria proiettiva" Giornale di Mat. , 30 (1892) pp. 106–132
[a7] I. Singer, "A theorem in finite projective geometry and some applications to number theory" Trans. Amer. Math. Soc. , 43 (1938) pp. 377–385
How to Cite This Entry:
Projective plane. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_plane&oldid=34702
This article was adapted from an original article by V.V. Afanas'ev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article