Let A be an affine plane of 9 points. Let the points be
denoted by O, 1, A, B, C, D, E, F, G. Let the lines of A
be
Each set of three lines is a parallel class.
Denote the lines OFG and ODA as the x-axis and y-axis respectively.
Let OIC be called the diagonal.
Let
be the set
. Fix a bijection
from the
points of the diagonal (
) to elements of
such that
,
, and
.
Let X, Y, O, I be four points, no three collinear in a projective
plane of order n. This is called the coordinatizing quadrangle. Every
set of four points in a projective plane that has the property that no
three are collinear can be used to coordinatize a projective plane, and
they will determine the ternary operation (this will not be the same for
each set of four points). Let
be a set of order n including
the elements 0, and 1. Let the line OX be the x-axis, OY be the
y-axis, OI be called l, and XY be called
.
Now fix a bijection between the points on l besides
such that
and
.
since Y is
already on
For the points on the line
, let the line
through (0,0) and (1,m) intersect
at the point
(m). Let Y be labeled
, and note that X is 0.