Difference between revisions of "Projective plane"
(Importing text file) |
m (link) |
||
Line 35: | Line 35: | ||
<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> | <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> | ||
− | 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 <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. |
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 <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 |
Revision as of 18:05, 21 November 2014
two-dimensional projective space
An incidence structure (cf. Incidence system). The elements of the set
are called points, the elements of the set
are called (straight) lines and
is an incidence relation. An incidence structure satisfies the following axioms:
1) for any two distinct points and
there is a unique line
such that
and
;
2) for any two distinct lines and
there is a unique point
such that
and
; and
3) there exist four points no three of which are incident with one line.
Figure: p075310a
For example, the set of lines and planes of three-dimensional affine space, passing through a point
, is a projective plane if as projective points one takes the lines of
and as projective lines one takes the planes of
. 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
,
, and the seven lines
,
,
,
,
,
,
(Fig. a). It is a representative of the class of finite projective planes. A projective plane
is called a finite projective plane of order
if the incidence relation satisfies one more axiom:
4) there is a line incident with exactly points.
In every point (line) is incident with
lines (points), and the number of points of the plane, which is equal to the number of lines, is
. The question for which values of
a projective plane
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
has been proved for a large class of numbers: If
is congruent to 1 or 2 modulo 4 and if in the prime factorization of
there is at least one prime number congruent to 3 modulo 4 that occurs with odd exponent, then
does not exist. Such are, e.g.,
. The problems remain open for
. An important problem in the theory of finite projective planes is the study of subplanes of a given
. E.g., if
is a proper subplane of
, then
or
(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 about points and lines of a projective plane formulated solely in terms of incidence between them holds, then the statement
dual to
also holds, i.e. the statement obtained from
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 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
has order
![]() |
The group of collineations of a non-Desarguesian projective plane has order at most
![]() |
where . 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
![]() |
defined for full collineation groups . 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
is Pappian.
A special feature of a finite Desarguesian projective plane is that it has a collineation of order
that acts cyclically on points and lines. This makes it possible to represent
by a cyclic array. This representation of
is as follows. Its points, enumerated by the natural numbers from 1 to
, are distributed over a rectangular array of
rows and
columns such that each column, which represents a line with all points on it, is obtained by adding 1 (modulo
) to the elements of the previous column. E.g., a representation of
is
![]() |
The planes ,
, are unique up to an isomorphism — they are Desarguesian or Galois planes (cf. [6]), while already for
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 separates the pair
, while
does not separate
) 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 is Pappian, since a finite skew-field is commutative.
A collineation of order of
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 |
Projective plane. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_plane&oldid=34702