Structure of unital 3-fields

From MaRDI portal
Publication:2663645



Abstract: We investigate fields in which addition requires three summands. These ternary fields are shown to be isomorphic to the set of invertible elements in a local ring mathcalR having mathbbZdiagup2mathbbZ as a residual field. One of the important technical ingredients is to intrinsically characterize the maximal ideal of mathcalR. We include a number of illustrative examples and prove that the structure of a finite 3-field is not connected to any binary field.


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.











This page was built for publication: Structure of unital 3-fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663645)