next up previous
Next: About this document Up: Planar Ternary Rings Previous: Veblen-Wedderburn Systems

Other Problems

D.1
Coordinatization of the Affine plane of 9 points:

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 tex2html_wrap1223
tex2html_wrap1224
tex2html_wrap1225
tex2html_wrap1226

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 tex2html_wrap_inline427 be the set tex2html_wrap_inline1273 . Fix a bijection tex2html_wrap_inline1275 from the points of the diagonal ( tex2html_wrap1227 ) to elements of tex2html_wrap_inline427 such that tex2html_wrap_inline1279 , tex2html_wrap_inline1281 , and tex2html_wrap_inline1283 .

Points on the Diagonal: Let the coordinates of O be (0,0), the coordinates of I be (1,1), and the coordinates of C be (2,2).
Points not on Diagonal: Let P be a point not on the diagonal. The coodinates of P are given in the same manner as was described in the coordinatization of the general affine plane above. For example, consider E. E is on the line CEG which is parallel to the x-axis, and CEG intersects the diagonal at point C(2,2). E is also on the line DIE parallel to the y-axis. DIE intersects the diagonal at point I(1,1). Let E have coordinates (2,1).
Slope: This is assigned in the same manner as described in section one. Let the line BIF be the line of slopes. Since ADO, BIF, and CEG are in the parallel class of the y-axis, let them have undefined slope. Since ABC, DIE, and OFG are in the parallel class of the x-axis (which intersects the line of slopes BIF at F(1,0)), they have slope 0. The lines DBG, FEA, and OIC are in the same parallel class and have slope 1 since the line OIC contains the point (0,0) and crosses the lines of slopes at (1,1). Similarily, the lines FDC, BEO, and AIG have slope 2 since BEO intersects the line of slopes at (1,2).

Ternary operation: Define the ternary operation as in section 1. Then tex2html_wrap1228 is the second coordinate of the intersection of the line parallel to the y-axis through the point (2,0) (ie, line CEG) and the line with slope 2 through A(0,2) (ie, AIG). The intersection point is G(2,0), thus the second coordinate is 0, and tex2html_wrap1229 . Similarly, tex2html_wrap1230 is the second coordinate of the intersection point of the line BIF and the line FDC (with slope 2, through (0,1)). The intersection point is F(1,0), thus, tex2html_wrap1231 . Also, tex2html_wrap1232 since the intersection of CEG and DBG is G(2,0).
Equation of lines: We may write equations of lines using slope and y-intercept. For example, consider line AEF. It has slope 1, and contains point A(0,2). Thus, its equation is tex2html_wrap1233 . Also, line AIG has slope 2 and contains point A(0,2), thus its equation is tex2html_wrap1234 . For lines with undefined slope, such as CEG, we have tex2html_wrap859 cooresponding to the first coordinate of every point on the line. This particular example is linear, that is, tex2html_wrap1236 . This can be checked with the equations of each line, and each point on that line. For example, tex2html_wrap1233 is ths equation of AEF, and if we let tex2html_wrap1238 , we see that point A(0,2) gives us tex2html_wrap1239 , a true statement, as well as E(2,1) : tex2html_wrap1240 , and F(1,0) : tex2html_wrap1241 .

D.9
Coordinatization of the general projective plane of order n:

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 tex2html_wrap_inline427 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 tex2html_wrap_inline1431 . Now fix a bijection between the points on l besides tex2html_wrap1242 such that tex2html_wrap_inline1435 and tex2html_wrap_inline1437 .

Points on l (excluding those on tex2html_wrap_inline1431 ): If A is a point on l such that tex2html_wrap_inline1447 , let its coordinates be (a,a).
Points not on l (excluding those on tex2html_wrap_inline1431 ): Suppose that P is not on l. Then the line PY does not contain the point tex2html_wrap_inline1461 since Y is already on tex2html_wrap_inline1431 . Thus, PY crosses l somewhere, say point B(b,b). Similarily, the line PX crosses l somewhere, say point C(c,c). Let the coordinates of P be (b,c).

  figure259
Figure 7: The Point P(b,c)

For the points on the line tex2html_wrap_inline1431 , let the line through (0,0) and (1,m) intersect tex2html_wrap_inline1431 at the point (m). Let Y be labeled tex2html_wrap_inline1129 , and note that X is 0.

 
Figure 8: Points (m)


next up previous
Next: About this document Up: Planar Ternary Rings Previous: Veblen-Wedderburn Systems

Faun Doherty
Tue Dec 16 16:17:26 MST 1997