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 three-dimensional 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 egg-like if it is isomorphic to
for some ovoid
. Among the egg-like Möbius planes the best known is the model
, where
is the sphere in three-dimensional Euclidean space, i.e. the plane isomorphic to
, where
is a non-ruled quadric in three-dimensional 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öbius-Ebenen" 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 (Coxeter-Festschrift) , Springer (1980) |
Möbius plane. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=M%C3%B6bius_plane&oldid=22815