Difference between revisions of "Möbius plane"
(Importing text file) 
Ulf Rehmann (talk  contribs) m (moved Möbius plane to Moebius plane: ascii title) 
(No difference)

Revision as of 18:53, 24 March 2012
circular plane, inversive plane
A plane whose elements form two disjoint sets: the set of points and the set of circles, and which is endowed with a symmetric incidence relation (relating points and circles). The incidence relation satisfies the following axioms:
1) any three distinct points are incident to one and only one circle;
2) given a point on a circle and a point not on , there is a unique circle through whose common point with is ;
3) there exist at least four distinct points not incident to a circle. Every circle is incident to at least three distinct points.
From a Möbius plane one can obtain an affine plane if one calls one of its points the ideal point, and calls the circles incident to this point straight lines.
In threedimensional projective space the points of an ovoid and the planes that intersect the ovoid at more than one point form, with the incidence relation inherited from , a Möbius plane (see [1]). A Möbius plane is called egglike if it is isomorphic to for some ovoid . Among the egglike Möbius planes the best known is the model , where is the sphere in threedimensional Euclidean space, i.e. the plane isomorphic to , where is a nonruled quadric in threedimensional projective space over the field of real numbers.
A Möbius plane is said to be finite if it has a finite number of points and circles. Each circle in a Möbius plane has the same number of points, and through each point of the plane pass the same number of circles. By definition, the order of the plane is the number of points on a circle minus one. A Möbius plane of order contains points and circles; through each point of the plane circles pass. The following model of the Möbius plane of order is the best known. The points of the plane are the elements of the Galois field and the ideal point ; the circles of the plane are the images of the set under the group of permutations of the form
A necessary condition for the existence of a Möbius plane of order is the existence of a finite affine plane of the same order. The uniqueness of the Möbius plane of order has been proven [5]. If a Möbius plane of order contains a proper subplane of order , then and (see [2]).
The classification of Möbius planes has been carried out (see [3], [4]). The planes are named after A. Möbius (1855), who laid the foundations of the theory of circles.
References
[1]  R. Dembowski, "Finite geometries" , Springer (1968) pp. 254 
[2]  P. Dembowski, D.R. Hughes, "On finite inversive planes" J. London Math. Soc. , 40 (1965) pp. 171–182 
[3]  C.H. Hering, "Eine Klassifikation der MöbiusEbenen" Math. Z. , 87 (1965) pp. 252–262 
[4]  N. Krier, "The Hering classification of Möbius planes" , Proc. Internat. Conf. Projective Planes , Washington State Univ. Press (1973) pp. 157–163 
[5]  L.I. Istomina, "Uniqueness of the circle plane of order 11" Perm Univ. Uchen. Zap. , 156 (1976) pp. 81–83 (In Russian) 
Comments
For more recent developments, see the chapters by I.M. Yaglom, J.F. Rigby, J.B. Wilker, and N.W. Johnson in [a1].
References
[a1]  C. Davis (ed.) B. Grünbaum (ed.) F.A. Sherk (ed.) , The geometric vein (CoxeterFestschrift) , Springer (1980) 
Möbius plane. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=M%C3%B6bius_plane&oldid=17057