Affine plane (incidence geometry)

Last updated August 26, 2023

In geometry, an affine plane is a system of points and lines that satisfy the following axioms:^[1]

The familiar Euclidean plane is an affine plane. There are many finite and infinite affine planes. As well as affine planes over fields (and division rings), there are also many non-Desarguesian planes, not derived from coordinates in a division ring, satisfying these axioms. The Moulton plane is an example of one of these.^[3]

Finite affine planes

If the number of points in an affine plane is finite, then if one line of the plane contains $n$ points then:

each line contains $n$ points,
each point is contained in $n + 1$ lines,
there are $n 2$ points in all, and
there is a total of $n 2 + n$ lines.

The number $n$ is called the order of the affine plane.

All known finite affine planes have orders that are prime or prime power integers. The smallest affine plane (of order 2) is obtained by removing a line and the three points on that line from the Fano plane. A similar construction, starting from the projective plane of order 3, produces the affine plane of order 3 sometimes called the Hesse configuration. An affine plane of order $n$ exists if and only if a projective plane of order $n$ exists (however, the definition of order in these two cases is not the same). Thus, there is no affine plane of order 6 or order 10 since there are no projective planes of those orders. The Bruck–Ryser–Chowla theorem provides further limitations on the order of a projective plane, and thus, the order of an affine plane.

The $n 2 + n$ lines of an affine plane of order $n$ fall into $n + 1$ equivalence classes of $n$ lines apiece under the equivalence relation of parallelism. These classes are called parallel classes of lines. The lines in any parallel class form a partition the points of the affine plane. Each of the $n + 1$ lines that pass through a single point lies in a different parallel class.

The parallel class structure of an affine plane of order $n$ may be used to construct a set of $n - 1$ mutually orthogonal latin squares. Only the incidence relations are needed for this construction.

Relation with projective planes

An affine plane can be obtained from any projective plane by removing a line and all the points on it, and conversely any affine plane can be used to construct a projective plane by adding a line at infinity, each of whose points is that point at infinity where an equivalence class of parallel lines meets.

If the projective plane is non-Desarguesian, the removal of different lines could result in non-isomorphic affine planes. For instance, there are exactly four projective planes of order nine, and seven affine planes of order nine.^[4] There is only one affine plane corresponding to the Desarguesian plane of order nine since the collineation group of that projective plane acts transitively on the lines of the plane. Each of the three non-Desarguesian planes of order nine have collineation groups having two orbits on the lines, producing two non-isomorphic affine planes of order nine, depending on which orbit the line to be removed is selected from.

Affine translation planes

A line $l$ in a projective plane $Π$ is a translation line if the group of elations with axis $l$ acts transitively on the points of the affine plane obtained by removing $l$ from the plane $Π$ . A projective plane with a translation line is called a translation plane and the affine plane obtained by removing the translation line is called an affine translation plane. While in general it is often easier to work with projective planes, in this context the affine planes are preferred and several authors simply use the term translation plane to mean affine translation plane.^[5]

An alternate view of affine translation planes can be obtained as follows: Let $V$ be a $2 n$ -dimensional vector space over a field $F$ . A spread of $V$ is a set $S$ of $n$ -dimensional subspaces of $V$ that partition the non-zero vectors of $V$ . The members of $S$ are called the components of the spread and if $V i$ and $V j$ are distinct components then $V i \oplus V j = V$ . Let $A$ be the incidence structure whose points are the vectors of $V$ and whose lines are the cosets of components, that is, sets of the form $v + U$ where $v$ is a vector of $V$ and $U$ is a component of the spread $S$ . Then:^[6]

A

is an affine plane and the group of translations

x \to x + w

for a vector

w

is an automorphism group acting regularly on the points of this plane.

Generalization: $k$ -nets

An incidence structure more general than a finite affine plane is a $k$ -net of order $n$ . This consists of $n 2$ points and $nk$ lines such that:

Parallelism (as defined in affine planes) is an equivalence relation on the set of lines.
Every line has exactly $n$ points, and every parallel class has $n$ lines (so each parallel class of lines partitions the point set).
There are $k$ parallel classes of lines. Each point lies on exactly $k$ lines, one from each parallel class.

An $(n + 1)$ -net of order $n$ is precisely an affine plane of order $n$ .

A $k$ -net of order $n$ is equivalent to a set of $k - 2$ mutually orthogonal Latin squares of order $n$ .

Example: translation nets

For an arbitrary field $F$ , let $Σ$ be a set of $n$ -dimensional subspaces of the vector space $F 2 n$ , any two of which intersect only in {0} (called a partial spread). The members of $Σ$ , and their cosets in $F 2 n$ , form the lines of a translation net on the points of $F 2 n$ . If $| Σ | = k$ this is a $k$ -net of order $| F n |$ . Starting with an affine translation plane, any subset of the parallel classes will form a translation net.

Given a translation net, it is not always possible to add parallel classes to the net to form an affine plane. However, if $F$ is an infinite field, any partial spread $Σ$ with fewer than $| F |$ members can be extended and the translation net can be completed to an affine translation plane.^[7]

Geometric codes

Given the "line/point" incidence matrix of any finite incidence structure, $M$ , and any field, $F$ the row space of $M$ over $F$ is a linear code that we can denote by $C = C F (M)$ . Another related code that contains information about the incidence structure is the Hull of $C$ which is defined as:^[8]

\operatorname {Hull} (C)=C\cap C^{\perp },

where $C ⊥$ is the orthogonal code to $C$ .

Not much can be said about these codes at this level of generality, but if the incidence structure has some "regularity" the codes produced this way can be analyzed and information about the codes and the incidence structures can be gleaned from each other. When the incidence structure is a finite affine plane, the codes belong to a class of codes known as geometric codes. How much information the code carries about the affine plane depends in part on the choice of field. If the characteristic of the field does not divide the order of the plane, the code generated is the full space and does not carry any information. On the other hand,^[9]

If $π$ is an affine plane of order $n$ and $F$ is a field of characteristic $p$ , where $p$ divides $n$ , then the minimum weight of the code $B = Hull(C F (π)) ⊥$ is $n$ and all the minimum weight vectors are constant multiples of vectors whose entries are either zero or one.

Furthermore,^[10]

If $π$ is an affine plane of order $p$ and $F$ is a field of characteristic $p$ , then $C = Hull(C F (π)) ⊥$ and the minimum weight vectors are precisely the scalar multiples of the (incidence vectors of) lines of $π$ .

When $π = AG(2, q)$ the geometric code generated is the $q$ -ary Reed-Muller Code.

Affine spaces

Affine spaces can be defined in an analogous manner to the construction of affine planes from projective planes. It is also possible to provide a system of axioms for the higher-dimensional affine spaces which does not refer to the corresponding projective space.^[11]

Notes

↑ Hughes & Piper 1973 , p. 82
↑ Hartshorne 2000 , p. 71
↑ Moulton, Forest Ray (1902), "A Simple Non-Desarguesian Plane Geometry", Transactions of the American Mathematical Society , Providence, R.I.: American Mathematical Society, 3 (2): 192–195, doi: 10.2307/1986419 , ISSN 0002-9947, JSTOR 1986419
↑ Moorhouse 2007 , p. 11
↑ Hughes & Piper 1973 , p. 100
↑ Moorhouse 2007 , p. 13
↑ Moorhouse 2007 , pp. 21–22
↑ Assmus & Key 1992 , p. 43
↑ Assmus & Key 1992 , p. 208
↑ Assmus & Key 1992 , p. 211
↑ Lenz 1961 , p. 138, but see also Cameron 1991 , chapter 3

Related Research Articles

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect at a single point, but there are some pairs of 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 at exactly one point.

<span class="mw-page-title-main">Projective space</span> Completion of the usual space with "points at infinity"

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines.

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points to Euclidean points, and vice-versa.

In mathematics, affine geometry is what remains of Euclidean geometry when ignoring the metric notions of distance and angle.

A finite geometry is any geometric system that has only a finite number of points. The familiar Euclidean geometry is not finite, because a Euclidean line contains infinitely many points. A geometry based on the graphics displayed on a computer screen, where the pixels are considered to be the points, would be a finite geometry. While there are many systems that could be called finite geometries, attention is mostly paid to the finite projective and affine spaces because of their regularity and simplicity. Other significant types of finite geometry are finite Möbius or inversive planes and Laguerre planes, which are examples of a general type called Benz planes, and their higher-dimensional analogs such as higher finite inversive geometries.

Synthetic geometry is geometry without the use of coordinates. It relies on the axiomatic method for proving all results from a few basic properties initially called postulate, and at present called axioms.

In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments.

In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this concept. There are two approaches to the subject of duality, one through language and the other a more functional approach through special mappings. These are completely equivalent and either treatment has as its starting point the axiomatic version of the geometries under consideration. In the functional approach there is a map between related geometries that is called a duality. Such a map can be constructed in many ways. The concept of plane duality readily extends to space duality and beyond that to duality in any finite-dimensional projective geometry.

<span class="mw-page-title-main">Incidence structure</span>

In mathematics, an incidence structure is an abstract system consisting of two types of objects and a single relationship between these types of objects. Consider the points and lines of the Euclidean plane as the two types of objects and ignore all the properties of this geometry except for the relation of which points are on which lines for all points and lines. What is left is the incidence structure of the Euclidean plane.

<span class="mw-page-title-main">Line (geometry)</span> Straight figure with zero width and depth

In geometry, a line is an infinitely long object with no width, depth, or curvature. Thus, lines are one-dimensional objects, though they may exist embedded in two, three, or higher dimensional spaces. The word line may also refer to a line segment in everyday life that has two points to denote its ends (endpoints). A line can be referred to by two points that lie on it or by a single letter.

In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure. Such fundamental results remain valid when additional concepts are added to form a richer geometry. It sometimes happens that authors blur the distinction between a study and the objects of that study, so it is not surprising to find that some authors refer to incidence structures as incidence geometries.

In mathematics, a translation plane is a projective plane which admits a certain group of symmetries. Along with the Hughes planes and the Figueroa planes, translation planes are among the most well-studied of the known non-Desarguesian planes, and the vast majority of known non-Desarguesian planes are either translation planes, or can be obtained from a translation plane via successive iterations of dualization and/or derivation.

A maximal arc in a finite projective plane is a largest possible (k,d)-arc in that projective plane. If the finite projective plane has order q (there are q+1 points on any line), then for a maximal arc, k, the number of points of the arc, is the maximum possible (= qd + d - q) with the property that no d+1 points of the arc lie on the same line.

Geometric Algebra is a book written by Emil Artin and published by Interscience Publishers, New York, in 1957. It was republished in 1988 in the Wiley Classics series (ISBN 0-471-60839-4).

In mathematics, a Hall plane is a non-Desarguesian projective plane constructed by Marshall Hall Jr. (1943). There are examples of order p²ⁿ for every prime p and every positive integer n provided p²ⁿ > 4.

<span class="mw-page-title-main">Laguerre plane</span>

In mathematics, a Laguerre plane is one of the three types of Benz plane, which are the Möbius plane, Laguerre plane and Minkowski plane. Laguerre planes are named after the French mathematician Edmond Nicolas Laguerre.

In mathematics, the classical Möbius plane is the Euclidean plane supplemented by a single point at infinity. It is also called the inversive plane because it is closed under inversion with respect to any generalized circle, and thus a natural setting for planar inversive geometry.

In geometry, specifically projective geometry, a blocking set is a set of points in a projective plane that every line intersects and that does not contain an entire line. The concept can be generalized in several ways. Instead of talking about points and lines, one could deal with n-dimensional subspaces and m-dimensional subspaces, or even more generally, objects of type 1 and objects of type 2 when some concept of intersection makes sense for these objects. A second way to generalize would be to move into more abstract settings than projective geometry. One can define a blocking set of a hypergraph as a set that meets all edges of the hypergraph.

In geometry, a unital is a set of n³ + 1 points arranged into subsets of size n + 1 so that every pair of distinct points of the set are contained in exactly one subset. This is equivalent to saying that a unital is a 2-(n³ + 1, n + 1, 1) block design. Some unitals may be embedded in a projective plane of order n² (the subsets of the design become sets of collinear points in the projective plane). In this case of embedded unitals, every line of the plane intersects the unital in either 1 or n + 1 points. In the Desarguesian planes, PG(2,q²), the classical examples of unitals are given by nondegenerate Hermitian curves. There are also many non-classical examples. The first and the only known unital with non prime power parameters, n=6, was constructed by Bhaskar Bagchi and Sunanda Bagchi. It is still unknown if this unital can be embedded in a projective plane of order 36, if such a plane exists.

References

Assmus, E.F. Jr.; Key, J.D. (1992), Designs and their Codes, Cambridge University Press, ISBN 978-0-521-41361-9
Cameron, Peter J. (1991), Projective and Polar Spaces, QMW Maths Notes, vol. 13, London: Queen Mary and Westfield College School of Mathematical Sciences, MR 1153019
Hartshorne, R. (2000), Geometry: Euclid and Beyond, Springer, ISBN 0387986502
Hughes, D.; Piper, F. (1973), Projective Planes, Springer-Verlag, ISBN 0-387-90044-6
Lenz, H. (1961), Grundlagen der Elementarmathematik, Berlin: Deutscher Verlag d. Wiss.
Moorhouse, Eric (2007), Incidence Geometry (PDF)

Affine plane (incidence geometry)

Contents

Finite affine planes

Relation with projective planes

Affine translation planes

Generalization: $k$ -nets

Example: translation nets

Geometric codes

Affine spaces

Notes

Related Research Articles

References

Further reading

Affine plane (incidence geometry)

Contents

Finite affine planes

Relation with projective planes

Affine translation planes

Generalization: k-nets

Example: translation nets

Geometric codes

Affine spaces

Notes

Related Research Articles

References

Further reading

Generalization: $k$ -nets