You are here
Homeprojective plane of a ternary ring
Primary tabs
projective plane of a ternary ring
Given a ternary ring $(R,0,1,*)$, one can construct a projective plane $\pi$ such that $R$ coordinatizes $\pi$:
1. points of $\pi$ are of the forms $(x,y)$ or $(m)$, where $x,y\in R$, and $m\in R\cup\{\infty\}$. We assume that the symbol $\infty$ is not a member of $R$.
2. 3. incidence relation is the same as set membership $\in$.
The line $[\,\infty\,]$ is called the line at infinity of $R$, and points $(m)$ are the points at infinity (or slope points) of $R$.
Proposition 1.
$[\,m,b\,]\neq[\,a\,]$ for any $m,b\in R$ and $a\in R\cup\{\infty\}$. If $(m_{1},b_{1})\neq(m_{2},b_{2})$, then $[\,m_{1},b_{1}\,]\neq[\,m_{2},b_{2}\,]$, for any $m_{1},m_{2},b_{1},b_{2}\in R$. Also, if $a\neq b$, then $[\,a\,]\neq[\,b\,]$, for any $a,b\in R\cup\{\infty\}$.
Proof.
The first assertion is true, since $(\infty)\in[\,a\,][\,m,b\,]$, $(m)\in[\,m,b\,][\,a\,]$ for any $a\in R$, and $(0,b)\in[\,m,b\,][\,\infty\,]$.
If $m_{1}\neq m_{2}$, then $(m_{1})\in[\,m_{1},b_{1}\,][\,m_{2},b_{2}\,]$, while $(m_{2})\in[\,m_{2},b_{2}\,][\,m_{1},b_{1}\,]$. If $b_{1}\neq b_{2}$, then $(0,0*m_{1}*b_{1})=(0,b_{1})\neq(0,b_{2})=(0,0*m_{2}*b_{2})$, so that $(0,b_{1})\in[\,m_{1},b_{1}\,][\,m_{2},b_{2}\,]$, while $(0,b_{2})\in[\,m_{2},b_{2}\,][\,m_{1},b_{1}\,]$.
Next, if $a\neq\infty$, then $(a,0)\in[\,a\,][\,\infty\,]$, while $(a)\in[\,\infty\,][\,a\,]$.
Finally, if $a,b\in R$ with $a\neq b$, then $(a,0)\in[\,a\,][\,b\,]$, while $(b,0)\in[\,b\,][\,a\,]$.∎
This shows that no two lines have the same “coordinates”. In fact, more is true:
Proposition 2.
$\pi$, with points and lines defined above, is indeed a projective plane.
Proof.
We need to verify that points and lines satisfy the axioms of projective plane.
1. Axiom 1: two distinct points are incident with exactly one line. There are four cases:

Given $a,b\in R\cup\{\infty\}$, with $a\neq b$, points $(a),(b)$ lie on line $[\,\infty\,]$.

Given $x,y\in R$ with $x\neq y$, points $(x,y),(\infty)$ lie on line $[\,x\,]$.

Given $x,y,m\in R$ with $x\neq y$, there is a unique $b\in R$ such that $y=x*m*b$. Then points $(x,y),(m)$ lie on line $[\,m,b\,]$.

Given $x_{1},y_{1},x_{2},y_{2}\in R$, with $(x_{1},y_{1})\neq(x_{2},y_{2})$. If $x_{1}=x_{2}=x$, then points $(x_{1},y_{1}),(x_{2},y_{2})$ lie on line $[\,x\,]$. Otherwise, there is a unique pair $(m,b)$ such that $y_{1}=x_{1}*m*b$ and $y_{2}=x_{2}*m*b$, so that both points lie on line $[\,m,b\,]$.
All lines above are unique by proposition 1. From this, let us write $PQ$ for the line where points $P,Q$ lie on.

2. Axiom 2: two distinct lines are incident with exactly one point. In light of the previous axiom, all we need to show is that two distinct lines contain at least one point. There are three cases:

Given lines $[\,a\,],[\,c\,]$ with $a,c\in R\cup\{\infty\}$ and $a\neq c$, they both contain point $(\infty)$.

Given lines $[\,m,b\,],[\,a\,]$, if $a=\infty$, then both contain point $(m)$, and if $a\neq\infty$, then both contain point $(a,a*m*b)$.

Given lines $[\,m_{1},b_{1}\,],[\,m_{2},b_{2}\,]$, with $(m_{1},b_{1})\neq(m_{2},b_{2})$. If $m_{1}=m_{2}=m$, then both lines contain point $(m)$. Otherwise, the equation $x*m_{1}*b_{1}=x*m_{2}*b_{2}$ has a unique solution for $x$. Say the solution is $a$. Then both lines contain point $(a,a*m_{1}*b_{1})=(a,a*m_{2}*b_{2})$.

3. Axiom 3: there exists a quadrangle. The four points are $(0,0),(1,1),(0),(\infty)$, and all six lines $(0,0)(1,1)=[\,1,0\,]$, $(0,0)(0)=[\,0,0\,]$, $(0,0)(\infty)=[\,0\,]$, $(1,1)(0)=[\,0,1\,]$, $(1,1)(\infty)=[\,1\,]$, and $(0)(\infty)=[\,\infty\,]$ are all distinct. Hence they form a quadrangle.
Therefore, $\pi$ is a projective plane. ∎
If one removes the line $[\,\infty\,]$ and all the points on it, then the resulting plane is an affine plane. In this regard, $R$ can be used to coordinatize an affine plane. It is possible to construct the affine plane from $R$ without the use of the line at infinity.
Given a projective plane, one can also construct a ternary ring that coordinatizes the plane. See this entry for more detail.
References
 1 R. Artzy, Linear Geometry, AddisonWesley (1965)
Mathematics Subject Classification
51A35 no label found51E15 no label found51A25 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
 Corrections