Loading AI tools
Geometry with 7 points and 7 lines From Wikipedia, the free encyclopedia
In finite geometry, the Fano plane (named after Gino Fano) is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and lines cannot exist with this pattern of incidences in Euclidean geometry, but they can be given coordinates using the finite field with two elements. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2). Here, PG stands for "projective geometry", the first parameter is the geometric dimension (it is a plane, of dimension 2) and the second parameter is the order (the number of points per line, minus one).
| Fano plane | |
|---|---|
| Order | 2 |
| Lenz–Barlotti class | VII.2 |
| Automorphisms | 23 × 3 × 7 PGL(3, 2) |
| Point orbit lengths | 7 |
| Line orbit lengths | 7 |
| Properties | Desarguesian Self-dual |
The Fano plane is an example of a finite incidence structure, so many of its properties can be established using combinatorial techniques and other tools used in the study of incidence geometries. Since it is a projective space, algebraic techniques can also be effective tools in its study.
In a separate usage, a Fano plane is a projective plane that never satisfies Fano's axiom; in other words, the diagonal points of a complete quadrangle are always collinear.[1] "The" Fano plane of 7 points and lines is "a" Fano plane.
The Fano plane can be constructed via linear algebra as the projective plane over the finite field with two elements. One can similarly construct projective planes over any other finite field, with the Fano plane being the smallest.
Using the standard construction of projective spaces via homogeneous coordinates, the seven points of the Fano plane may be labeled with the seven non-zero ordered triples of binary digits 001, 010, 011, 100, 101, 110, and 111. This can be done in such a way that for every two points p and q, the third point on line pq has the label formed by adding the labels of p and q modulo 2 digit by digit (e.g., 010 and 111 resulting in 101). In other words, the points of the Fano plane correspond to the non-zero points of the finite vector space of dimension 3 over the finite field of order 2.
Due to this construction, the Fano plane is considered to be a Desarguesian plane, even though the plane is too small to contain a non-degenerate Desargues configuration (which requires 10 points and 10 lines).
The lines of the Fano plane may also be given homogeneous coordinates, again using non-zero triples of binary digits. With this system of coordinates, a point is incident to a line if the coordinate for the point and the coordinate for the line have an even number of positions at which they both have nonzero bits: for instance, the point 101 belongs to the line 111, because they have nonzero bits at two common positions. In terms of the underlying linear algebra, a point belongs to a line if the inner product of the vectors representing the point and line is zero.
The lines can be classified into three types.
Alternatively, the 7 points of the plane correspond to the 7 non-identity elements of the group (Z2)3 = Z2 × Z2 × Z2. The lines of the plane correspond to the subgroups of order 4, isomorphic to Z2 × Z2. The automorphism group GL(3, 2) of the group (Z2)3 is that of the Fano plane, and has order 168.
As with any incidence structure, the Levi graph of the Fano plane is a bipartite graph, the vertices of one part representing the points and the other representing the lines, with two vertices joined if the corresponding point and line are incident. This particular graph is a connected cubic graph (regular of degree 3), has girth 6 and each part contains 7 vertices. It is the Heawood graph, the unique 6-cage.[2]
A collineation, automorphism, or symmetry of the Fano plane is a permutation of the 7 points that preserves collinearity: that is, it carries collinear points (on the same line) to collinear points. By the Fundamental theorem of projective geometry, the full collineation group (or automorphism group, or symmetry group) is the projective linear group PGL(3, 2),[lower-alpha 1]Hirschfeld 1979, p. 131[3]
This is a well-known group of order 168 = 23·3·7, the next non-abelian simple group after A5 of order 60 (ordered by size).
As a permutation group acting on the 7 points of the plane, the collineation group is doubly transitive meaning that any ordered pair of points can be mapped by at least one collineation to any other ordered pair of points.[4] (See below.)
Collineations may also be viewed as the color-preserving automorphisms of the Heawood graph (see figure).
F8 is a degree-three field extension of F2, so the points of the Fano plane may be identified with F8 ∖ {0}. The symmetry group may be written PGL(3, 2) = Aut(P2F2). Similarly, PSL(2, 7) = Aut(P1F7). There is a relation between the underlying objects, P2F2 and P1F7 called the Cat's Cradle map. Color the seven lines of the Fano plane ROYGBIV, place your fingers into the two dimensional projective space in ambient 3-space, and stretch your fingers out like the children's game Cat's Cradle. You will obtain a complete graph on seven vertices with seven colored triangles (projective lines). The missing origin of F8 will be at the center of the septagon inside. Now label this point as ∞, and pull it backwards to the origin. One can write down a bijection from F7 ∪ {∞} to F8. Set x∞ = 0 and send the slope k ↦ x∞ + xk ∈ F8 ≅ F2[x] / (x3 + x + 1), where now xk labels the vertices of K7 with edge coloring, noting that F×
8 is a cyclic group of order 7. The symmetries of P1F7 are Möbius transformations, and the basic transformations are reflections (order 2, k ↦ −1/k), translations (order 7, k ↦ k + 1), and doubling (order 3 since 23 = 1, k ↦ 2k). The corresponding symmetries on the Fano plane are respectively swapping vertices, rotating the graph, and rotating triangles.
A bijection between the point set and the line set that preserves incidence is called a duality and a duality of order two is called a polarity.[5]
Dualities can be viewed in the context of the Heawood graph as color reversing automorphisms. An example of a polarity is given by reflection through a vertical line that bisects the Heawood graph representation given on the right.[6] The existence of this polarity shows that the Fano plane is self-dual. This is also an immediate consequence of the symmetry between points and lines in the definition of the incidence relation in terms of homogeneous coordinates, as detailed in an earlier section.
The permutation group of the 7 points has 6 conjugacy classes.
These four cycle structures each define a single conjugacy class:
The identity permutation
21 permutations with two 2-cycles
42 permutations with a 4-cycle and a 2-cycle
56 permutations with two 3-cyclesThe 48 permutations with a complete 7-cycle form two distinct conjugacy classes with 24 elements:
A maps to B, B to C, C to D. Then D is on the same line as A and B.
A maps to B, B to C, C to D. Then D is on the same line as A and C.(See here for a complete list.)
The number of inequivalent colorings of the Fano plane with colors can be calculated by plugging the numbers of cycle structures into the Pólya enumeration theorem. This number of colorings is (sequence A241929 in the OEIS).
In any projective plane a set of four points, no three of which are collinear, and the six lines joining pairs of these points is a configuration known as a complete quadrangle. The lines are called sides and pairs of sides that do not meet at one of the four points are called opposite sides. The points at which opposite sides meet are called diagonal points and there are three of them.[7]
If this configuration lies in a projective plane and the three diagonal points are collinear, then the seven points and seven lines of the expanded configuration form a subplane of the projective plane that is isomorphic to the Fano plane and is called a Fano subplane.
A famous result, due to Andrew M. Gleason states that if every complete quadrangle in a finite projective plane extends to a Fano subplane (that is, has collinear diagonal points) then the plane is Desarguesian.[8] Gleason called any projective plane satisfying this condition a Fano plane thus creating some confusion with modern terminology. To compound the confusion, Fano's axiom states that the diagonal points of a complete quadrangle are never collinear, a condition that holds in the Euclidean and real projective planes. Thus, what Gleason called Fano planes do not satisfy Fano's axiom.[9]
The Fano plane contains the following numbers of configurations of points and lines of different types. For each type of configuration, the number of copies of configuration multiplied by the number of symmetries of the plane that keep the configuration unchanged is equal to 168, the size of the entire collineation group, provided each copy can be mapped to any other copy (see Orbit-stabiliser theorem). Since the Fano plane is self-dual, these configurations come in dual pairs and it can be shown that the number of collineations fixing a configuration equals the number of collineations that fix its dual configuration.
The Fano plane is an example of an (n3)-configuration, that is, a set of n points and n lines with three points on each line and three lines through each point. The Fano plane, a (73)-configuration, is unique and is the smallest such configuration.[11] According to a theorem by Steinitz[12] configurations of this type can be realized in the Euclidean plane having at most one curved line (all other lines lying on Euclidean lines).[13]
The Fano plane is a small symmetric block design, specifically a 2-(7, 3, 1)-design. The points of the design are the points of the plane, and the blocks of the design are the lines of the plane.[14] As such it is a valuable example in (block) design theory.
With the points labelled 0, 1, 2, ..., 6 the lines (as point sets) are the translates of the (7, 3, 1) planar difference set given by {0, 1, 3} in the group Z / 7Z.[14] With the lines labeled ℓ0, ..., ℓ6 the incidence matrix (table) is given by:
Point Line
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|---|
| ℓ0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
| ℓ1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| ℓ2 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| ℓ3 | 0 | 0 | 0 | 1 | 1 | 0 | 1 |
| ℓ4 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| ℓ5 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| ℓ6 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |
The Fano plane, as a block design, is a Steiner triple system.[15] As such, it can be given the structure of a quasigroup. This quasigroup coincides with the multiplicative structure defined by the unit octonions e1, e2, ..., e7 (omitting 1) if the signs of the octonion products are ignored (Baez 2002).
The Fano matroid F7 is formed by taking the Fano plane's points as the ground set, and the three-element noncollinear subsets as bases.
The Fano plane is one of the important examples in the structure theory of matroids. Excluding the Fano plane as a matroid minor is necessary to characterize several important classes of matroids, such as regular, graphic, and cographic ones.
If you break one line apart into three 2-point lines you obtain the "non-Fano configuration", which can be embedded in the real plane. It is another important example in matroid theory, as it must be excluded for many theorems to hold.
The Fano plane can be extended in a third dimension to form a three-dimensional projective space, denoted by PG(3, 2). It has 15 points, 35 lines, and 15 planes and is the smallest three-dimensional projective space.[16] It also has the following properties:[17]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
