9.6 Affine Planes

An affine plane AG(2,q) of order q is nothing but a 2(q2,q,1) design i.e., 𝒫 consists of q2 points satisfying the following conditions:

  • Every line has q points.

  • Any two points lie on a unique line.

Now the design property guarantees us that any point lies on q+1 lines and there are q2+q lines. A point of difference with projective planes is that lines need not meet in affine planes i.e., parallel lines can exist.

Construction via projective planes:

Let (𝒫,) be a projective plane of order q and let L0 be a fixed line. Consider the design with points 𝒫=𝒫L0 and lines ={LL0:L,LL0}. The line L0 is called the line at infinity and for every L, there exists a unique xL0 such that L{x0}. This is called the infinite point of L.

Exercise(A) 9.19.

Verify that is an affine plane of order q.

Construction from 𝔽q:

Let q be a prime power and set 𝒫=𝔽q×𝔽q. The lines are either of the form

L(a,b)={(x,y)𝒫:y=ax+b}

or

L(c)={(c,y):y𝔽q},

where a,b,c𝔽q. Note that 𝒫 has cardinality q2 and every line has q points. We only need to show that any two points determine a line uniquely. Let p1=(x1,y1),p2=(x2,y2) be two distinct points. If x1=x2, then the points p1,p2 belong uniquely to the line L(x1). If it were to belong to a line L(a,b) then we have that y1y2=a(x1x2)=0 implying y1=y2 and so violating the distinctness of the points. If x1x2, then the system of equations y1=ax1+b,y2=ax2+b has a unique solution a=y1y2x1x2, b=y2x1y1x2x1x2. So p1,p2L(a,b) and hence showing that is an affine plane.

Exercise(A) 9.20.

Consider an affine plane of order q i.e., a 2(q2,q,1) design. Let a parallel class be a set of mutually disjoint lines. Show the following.

  • Each parallel class contains q lines ;

  • there are q+1 such classes ;

  • any two lines from different classes intersect at a point ;

  • and lines of each parallel class form a partition of the points 𝒫.