Planar ternary ring

Top

Home > Library > Miscellaneous > Wikipedia

In mathematics, a ternary ring is an algebraic structure $(R, T)$ consisting of a non-empty set $R$ and a ternary mapping $T \colon R^3 \to R \,$ , and a planar ternary ring (PTR) or ternary field is special sort of a ternary ring used by Hall (1943) to give coordinates to projective planes. A planar ternary ring is not a ring in the traditional sense.

Contents

1 Definition
2 Binary operations
3 Connection with projective planes
4 References

Definition

A planar ternary ring is a structure $(R, T)$ where $R$ is a nonempty set, containing distinct elements called 0 and 1, and $T\colon R^3\to R \,$ satisfies these five axioms:

$T(a,0,b)=T(0,a,b)=b\quad \forall a,b \in R$ ;
$T(1,a,0)=T(a,1,0)=a\quad \forall a \in R$ ;
$\forall a,b,c,d \in R, a\neq c$ , there is a unique $x\in R$ such that : $T(x,a,b)=T(x,c,d) \,$ ;
$\forall a,b,c \in R$ , there is a unique $x \in R$ , such that $T(a,b,x)=c \,$ ; and
$\forall a,b,c,d \in R, a\neq c$ , the equations $T(a,x,y)=b,T(c,x,y)=d \,$ have a unique solution $(x,y)\in R^2$ .

When $R$ is finite, the third and fifth axioms are equivalent in the presence of the fourth. No other pair (0', 1') in $R 2$ can be found such that $T$ still satisfies the first two axioms.

Binary operations

Addition

Define $a\oplus b=T(1,a,b)$ . The structure $(R,\oplus)$ turns out be a loop with identity element 0.

Multiplication

Define $a\otimes b=T(a,b,0)$ . The set $R_{0} = R \setminus \{0\} \,$ turns out be closed under this multiplication. The structure $(R_{0},\otimes)$ also turns out to be a loop with identity element 1.

Linear PTR

A planar ternary ring $(R, T)$ is said to be linear if $T(a,b,c)=(a\otimes b)\oplus c\quad \forall a,b,c \in R$ . For example, the planar ternary ring associated to a quasifield is (by construction) linear.

Connection with projective planes

Given a planar ternary ring $(R, T)$ , one can construct a projective plane in this way ( $\infty$ is a random symbol not in $R$ ):

$P=\{(a,b)|a,b\in R\}\cup \{(a)|a \in R \}\cup \{(\infty)\}$
$B=\{[a,b]|a,b \in R\}\cup\{[a]|a \in R \}\cup \{[\infty]\}$
We define the incidence relation $I$ in this way ( $\forall a,b,c,d \in R$ ):

$((a,b),[c,d])\in I \Longleftrightarrow T(c,a,b)=d$

$((a,b),[c])\in I \Longleftrightarrow a=c$

$((a,b),[\infty])\notin I$

$((a), [c,d])\in I \Longleftrightarrow a=c$

$((a), [c])\notin I$

$((a),[\infty])\in I$

$(((\infty),[c,d])\notin I$

$((\infty),[a])\in I$

$((\infty),[\infty])\in I$

One can prove that every projective plane is constructed in this way starting with a certain planar ternary ring. However, two nonisomorphic planar ternary rings can lead to the construction of isomorphic projective planes.

References

Albert, A. Adrian; Sandler, Reuben (1968). An Introduction to Finite Projective Planes. New York: Holt, Rinehart and Winston.
Hall, Marshall (1943), "Projective planes", Transactions of the American Mathematical Society (American Mathematical Society) 54 (2): 229–277, ISSN 0002-9947, JSTOR 1990331, MR 0008892

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

Help us answer these

What style of ring is the Irish ring?

Why are the Olympic rings 'rings'?

Uses of ring stand with ring?

What does the ring do in 'The Fellowship of the ring'?

Post a question - any question - to the WikiAnswers community:

Copyrights:

Cite

Wikipedia on Answers.com This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article Planar ternary ring. Read