An affine plane of order is nothing but a design i.e., consists of points satisfying the following conditions:
Every line has points.
Any two points lie on a unique line.
Now the design property guarantees us that any point lies on lines and there are lines. A point of difference with projective planes is that lines need not meet in affine planes i.e., parallel lines can exist.
Let be a projective plane of order and let be a fixed line. Consider the design with points and lines The line is called the line at infinity and for every , there exists a unique such that . This is called the infinite point of .
Verify that is an affine plane of order .
Let be a prime power and set . The lines are either of the form
or
where . Note that has cardinality and every line has points. We only need to show that any two points determine a line uniquely. Let be two distinct points. If , then the points belong uniquely to the line . If it were to belong to a line then we have that implying and so violating the distinctness of the points. If , then the system of equations has a unique solution , . So and hence showing that is an affine plane.
Consider an affine plane of order i.e., a design. Let a parallel class be a set of mutually disjoint lines. Show the following.
Each parallel class contains lines ;
there are such classes ;
any two lines from different classes intersect at a point ;
and lines of each parallel class form a partition of the points .