Planar ternary ring
In mathematics, an algebraic structure [math]\displaystyle{ (R,T) }[/math] consisting of a non-empty set [math]\displaystyle{ R }[/math] and a ternary mapping [math]\displaystyle{ T \colon R^3 \to R \, }[/math] may be called a ternary system. A planar ternary ring (PTR) or ternary field is special type of ternary system used by Marshall Hall[1] to construct projective planes by means of coordinates. A planar ternary ring is not a ring in the traditional sense, but any field gives a planar ternary ring where the operation [math]\displaystyle{ T }[/math] is defined by [math]\displaystyle{ T(a,b,c) = ab + c }[/math]. Thus, we can think of a planar ternary ring as a generalization of a field where the ternary operation takes the place of both addition and multiplication.
There is wide variation in the terminology. Planar ternary rings or ternary fields as defined here have been called by other names in the literature, and the term "planar ternary ring" can mean a variant of the system defined here. The term "ternary ring" often means a planar ternary ring, but it can also simply mean a ternary system.
Definition
A planar ternary ring is a structure [math]\displaystyle{ (R,T) }[/math] where [math]\displaystyle{ R }[/math] is a set containing at least two distinct elements, called 0 and 1, and [math]\displaystyle{ T\colon R^3\to R \, }[/math] is a mapping which satisfies these five axioms:[2]
- [math]\displaystyle{ T(a,0,b)=T(0,a,b)=b,\quad \forall a,b \in R }[/math];
- [math]\displaystyle{ T(1,a,0)=T(a,1,0)=a,\quad \forall a \in R }[/math];
- [math]\displaystyle{ \forall a,b,c,d \in R, a\neq c }[/math], there is a unique [math]\displaystyle{ x\in R }[/math] such that : [math]\displaystyle{ T(x,a,b)=T(x,c,d) \, }[/math];
- [math]\displaystyle{ \forall a,b,c \in R }[/math], there is a unique [math]\displaystyle{ x \in R }[/math], such that [math]\displaystyle{ T(a,b,x)=c \, }[/math]; and
- [math]\displaystyle{ \forall a,b,c,d \in R, a\neq c }[/math], the equations [math]\displaystyle{ T(a,x,y)=b,T(c,x,y)=d \, }[/math] have a unique solution [math]\displaystyle{ (x,y)\in R^2 }[/math].
When [math]\displaystyle{ R }[/math] is finite, the third and fifth axioms are equivalent in the presence of the fourth.[3]
No other pair (0', 1') in [math]\displaystyle{ R^2 }[/math] can be found such that [math]\displaystyle{ T }[/math] still satisfies the first two axioms.
Binary operations
Addition
Define [math]\displaystyle{ a\oplus b=T(a,1,b) }[/math].[4] The structure [math]\displaystyle{ (R,\oplus) }[/math] is a loop with identity element 0.
Multiplication
Define [math]\displaystyle{ a\otimes b=T(a,b,0) }[/math]. The set [math]\displaystyle{ R_{0} = R \setminus \{0\} \, }[/math] is closed under this multiplication. The structure [math]\displaystyle{ (R_{0},\otimes) }[/math] is also a loop, with identity element 1.
Linear PTR
A planar ternary ring [math]\displaystyle{ (R,T) }[/math] is said to be linear if [math]\displaystyle{ T(a,b,c)=(a\otimes b)\oplus c,\quad \forall a,b,c \in R }[/math]. For example, the planar ternary ring associated to a quasifield is (by construction) linear.
Connection with projective planes
Given a planar ternary ring [math]\displaystyle{ (R,T) }[/math], one can construct a projective plane with point set P and line set L as follows:[5][6] (Note that [math]\displaystyle{ \infty }[/math] is an extra symbol not in [math]\displaystyle{ R }[/math].)
Let
- [math]\displaystyle{ P=\{(a,b)|a,b\in R\}\cup \{(a)|a \in R \}\cup \{(\infty)\} }[/math], and
- [math]\displaystyle{ L=\{[a,b]|a,b \in R\}\cup\{[a]|a \in R \}\cup \{[\infty]\} }[/math].
Then define, [math]\displaystyle{ \forall a,b,c,d \in R }[/math], the incidence relation [math]\displaystyle{ I }[/math] in this way:
- [math]\displaystyle{ ((a,b),[c,d])\in I \Longleftrightarrow T(a,c,d)=b }[/math]
- [math]\displaystyle{ ((a,b),[c])\in I \Longleftrightarrow a=c }[/math]
- [math]\displaystyle{ ((a,b),[\infty])\notin I }[/math]
- [math]\displaystyle{ ((a), [c,d])\in I \Longleftrightarrow a=c }[/math]
- [math]\displaystyle{ ((a), [c])\notin I }[/math]
- [math]\displaystyle{ ((a),[\infty])\in I }[/math]
- [math]\displaystyle{ ((\infty),[c,d])\notin I }[/math]
- [math]\displaystyle{ ((\infty),[a])\in I }[/math]
- [math]\displaystyle{ ((\infty),[\infty])\in I }[/math]
Every projective plane can be constructed in this way, starting with an appropriate planar ternary ring. However, two nonisomorphic planar ternary rings can lead to the construction of isomorphic projective planes.
Conversely, given any projective plane π, by choosing four points, labelled o, e, u, and v, no three of which lie on the same line, coordinates can be introduced in π so that these special points are given the coordinates: o = (0,0), e = (1,1), v = ([math]\displaystyle{ \infty }[/math]) and u = (0).[7] The ternary operation is now defined on the coordinate symbols (except [math]\displaystyle{ \infty }[/math]) by y = T(x,a,b) if and only if the point (x,y) lies on the line which joins (a) with (0,b). The axioms defining a projective plane are used to show that this gives a planar ternary ring.
Linearity of the PTR is equivalent to a geometric condition holding in the associated projective plane.[8]
Related algebraic structures
PTR's which satisfy additional algebraic conditions are given other names. These names are not uniformly applied in the literature. The following listing of names and properties is taken from (Dembowski 1968).
A linear PTR whose additive loop is associative (and thus a group), is called a cartesian group. In a cartesian group, the mappings
[math]\displaystyle{ x \longrightarrow -x \otimes a + x \otimes b }[/math], and [math]\displaystyle{ x \longrightarrow a \otimes x - b \otimes x }[/math]
must be permutations whenever [math]\displaystyle{ a \neq b }[/math]. Since cartesian groups are groups under addition, we revert to using a simple "+" for the additive operation.
A quasifield is a cartesian group satisfying the right distributive law: [math]\displaystyle{ (x+y) \otimes z = x \otimes z + y \otimes z }[/math]. Addition in any quasifield is commutative.
A semifield is a quasifield which also satisfies the left distributive law: [math]\displaystyle{ x \otimes (y + z) = x \otimes y + x \otimes z. }[/math]
A planar nearfield is a quasifield whose multiplicative loop is associative (and hence a group). Not all nearfields are planar nearfields.
Notes
- ↑ Hall 1943
- ↑ Hughes & Piper 1973, p. 113, Thm. 5.1.
- ↑ Hughes & Piper 1973, p. 118, Theorem 5.4
- ↑ In the literature there are two versions of this definition. This is the form used by (Hall 1959), (Albert Sandler), and (Dembowski 1968), while [math]\displaystyle{ a \oplus b = T(1,a,b) }[/math] is used by (Hughes Piper), (Pickert 1975), and (Stevenson 1972). The difference comes from the alternative ways these authors coordinatize the plane.
- ↑ R. H. Bruck, Recent Advances in the Foundations of Euclidean Plane Geometry, The American Mathematical Monthly, vol. 66, pp. 2-17 (1955) Appendix I.
- ↑ Hall 1943, p.247 Theorem 5.4
- ↑ This can be done in several ways. A short description of the method used by (Hall 1943) can be found in (Dembowski 1968).
- ↑ Dembowski 1968, p. 129
References
- Albert, A. Adrian; Sandler, Reuben (1968). An Introduction to Finite Projective Planes. New York: Holt, Rinehart and Winston.
- Artzy, Rafael (2008), "Chapter 4 Axiomatic Plane Geometry", Linear Geometry, Dover, ISBN 978-0-486-46627-9
- Benz, Walter; Ghalieh, Khuloud (1998), "Groupoids associated with the ternary ring of a projective plane", Journal of Geometry 61 (1–2): 17–31, doi:10.1007/bf01237490
- Dembowski, Peter (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin, New York: Springer-Verlag, ISBN 3-540-61786-8, https://archive.org/details/finitegeometries0000demb
- Grari, A. (2004), "A necessary and sufficient condition so that two planar ternary rings induce isomorphic projective planes", Arch. Math. (Basel) 83 (2): 183–192, doi:10.1007/s00013-003-4580-9
- Hall, Marshall, Jr. (1943), "Projective planes", Transactions of the American Mathematical Society (American Mathematical Society) 54 (2): 229–277, doi:10.2307/1990331, ISSN 0002-9947
- Hall, Marshall Jr. (1959), The Theory of Groups, New York: The MacMillan Company
- Hughes, D.R. (1955), "Additive and multiplicative loops of planar ternary rings", Proceedings of the American Mathematical Society 6 (6): 973–980, doi:10.1090/s0002-9939-1955-0073568-8
- Hughes, Daniel R.; Piper, Fred C. (1973), Projective Planes, Graduate Texts in Mathematics (6), New York: Springer-Verlag, ISBN 0387900446
- Martin, G.E. (1967), "Projective planes and isotopic ternary rings", The American Mathematical Monthly 74 (10): 1185–1195, doi:10.2307/2315659
- Pickert, Günter (1975), Projektive Ebenen, Berlin: Springer-Verlag, ISBN 3540072802
- Stevenson, Frederick (1972), Projective Planes, San Francisco: W.H. Freeman and Company, ISBN 071670443-9
 |  |
