Zur algebraischen Kennzeichnung mehrwertiger Halbordnungen. (An algebraic characterization of multi-valued halforderings) (Q919085)

Der 2. Autor hat bei seinen Untersuchungen der Halbordnungen von Ternärkörpern das Radikal R(T) eines Ternärkörpers T eingeführt. Es ist der von allen Elementen r der folgenden Art in der multiplikativen Loop \(T^*\) erzeugte Normalteiler: \(T(m,x,a)- T(m,x,b)=r\cdot (a-b)\) für \(a\neq b\) oder \(T(n,x,d)-T(m,x,c)=r\cdot ((n- m)\cdot (x-u))\) für \(n\neq m\), \(x\neq u\), \(T(m,u,c)=T(n,u,d)\). Der 1. Autor hat die (2-wertigen) Spernerschen Ordnungsfunktionen einer projektiven Ebene zum Begriff der mehrwertigen Ordnungsfunktionen mit Werten in einer abelschen Gruppe G verallgemeinert. Diese Funktionen sind auf den kollinearen Punkte-Quadrupeln der Ebene definiert. Wenn die Ebene durch einen Ternärkörper T koordinatisiert ist, entsprechen diese bijektiv den G-Halbordnungen sg von T. Diese sind nun, wie hier gezeigt wird, als Abbildungen sg: \(T^*\to G\) mit den Eigenschaften \(sg(T(m,x,c)-T(m,x,d))=sg(c-d)\) (für \(c\neq d)\) und \(sg(T(n,x,d)- T(m,x,c))=sg(n-m)\cdot sg(x-u)\) (für \(n\neq m\), \(u\neq x\), \(T(m,u,c)=T(n,u,d))\) gekennzeichnet. Damit hat man nun einen Zusammenhang zwischen dem Radikal R(T) von T und den G-Halbordnungen von T, wie es folgender Hauptsatz zum Ausdruck bringt. \(R_ a(T)\) sei der von R(T) und den Elementen a mit \(x(yz)=a((xy)z)\) oder \(xy=a(yx)\) in \(T^*\) erzeugte Normalteiler und \(\pi\) der kanonische Homomorphismus \(T^*\to T^*/R_ a(T)\). (Diese Faktorloop ist eine Gruppe!) Dann gibt es zu jeder G-Halbordnung sg von T einen Homomorphismus \(\phi\) mit \(sg=\phi \circ \pi\). Schließlich wird mit Hilfe der Nebenklassen von \(R_ a(T)\) gezeigt, auf welche Art Projektivitäten auf einer Geraden operieren.