Structure of unital 3-fields (Q2663645)

A set \(\mathcal R\) with two ternary operations \(\nu :{\mathcal R}^3\to \mathcal R \) and \(\mu : {\mathcal R}^3 \to \mathcal R \) is called a \((3,3)\)-ring if 1) both operations are totally associative, 2) they are connected by a ternary analog of the distributive law and 3) for all \(a,b,c \in \mathcal R\) there exists a unique solution of the equation \(\nu (a,b,x)=c\). The last condition means that \((\mathcal R, \nu)\) is a ternary group. The operations \(\nu\) and \(\mu\) are called an additive and a multiplicative operations correspondingly. If \((\mathcal R, \mu)\) is also a ternary group the \((3,3)\)-ring is called a 3-field. Ternary analogues of the concepts of a vector space and a polynomial algebra in \(n\) variables over a 3-field are also introduced. The mentioned objects are investigated and many examples are given.