## You are here

Homefinite plane

## Primary tabs

# finite plane

A finite plane (synonym linear space) is the finite (discrete) analogue of planes in more familiar geometries. It is an incidence structure where any two points are incident with exactly one line (the line is said to “pass through” those points, the points “lie on” the line), and any two lines are incident with at most one point — just like in ordinary planes, lines can be parallel i.e. not intersect in any point.

A finite plane without parallel lines is known as a projective plane. Another kind of finite plane is an affine plane, which can be obtained from a projective plane by removing one line (and all the points on it).

# Example

An example of a projective plane, that of order $2$, known as the *Fano plane* (for projective planes, order $q$ means $q+1$ points on each line, $q+1$ lines through each point):

An edge here is represented by a straight line, and the inscribed circle is also an edge. In other words, for a vertex set $\{1,2,3,4,5,6,7\}$, the edges of the Fano plane are

$\{1,2,4\},\{2,3,5\},\{3,4,6\},\{4,5,7\},\{5,6,1\},\{6,7,2\},\{7,1,3\}$ |

Notice that the Fano plane is generated by the triple $\{1,2,4\}$ by repeatedly adding $1$ to each entry, modulo $7$. The generating triple has the property that the differences of any two elements, in either order, are all pairwise different modulo $7$. In general, if we can find a set of $q+1$ of the integers (mod $q^{2}+q+1$) with all pairwise differences distinct, then this gives a cyclic representation of the finite plane of order $q$.

## Mathematics Subject Classification

51E20*no label found*05C65

*no label found*51E15

*no label found*05B25

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia