[Paper Review] Moufang symmetry VIII. Reconstruction of Moufang loops

Eugen Paal|ArXiv.org|Mar 3, 2008

Mathematics and Applications5 references3 citations

TL;DR

This paper proves a reconstruction theorem for Moufang loops, demonstrating that a groupoid $G$ equipped with three maps $S, T, P: G o rak{T}$ to a group $rak{T}$ satisfying specific algebraic conditions—such as $S_gT_gP_g = E$, inverse relations, and transformation rules under $ar{g}$—necessarily forms a Moufang loop. The key result is that under these conditions, $G$ satisfies the Moufang identity and possesses a two-sided unit and two-sided inverses, fully reconstructing the loop structure from the maps and their compatibility with a group $rak{T}$.

ABSTRACT

Reconstruction theorem for the Moufang loops is proved.

Motivation & Objective

• To establish a sufficient condition under which a groupoid $G$ becomes a Moufang loop.
• To provide a structural reconstruction of Moufang loops via maps $S, T, P$ into a group $rak{T}$, generalizing earlier approaches.
• To prove that the existence of such maps satisfying specific identities guarantees the Moufang loop axioms, including the Moufang identity and inverse properties.

Proposed method

• Define a groupoid $G$ with maps $S, T, P: G o rak{T}$, where $rak{T}$ is a group with unit $E$.
• Impose conditions: (1) $S_gT_gP_g = E$ for all $g \in G$, (2) existence of $ar{g}$ such that $S_{ar{g}} = S_g^{-1}, T_{ar{g}} = T_g^{-1}$, (3) transformation rules for $S_{ar{g}h}, T_{ar{g}h}, P_{ar{g}h}$ and $S_{har{g}}, T_{har{g}}, P_{har{g}}$ in terms of $S_g, T_g, P_g$.
• Use the injectivity condition: $S_g = S_h$ and $T_g = T_h$ imply $g = h$, to ensure uniqueness of elements.
• Derive properties step by step: $ar{ar{g}} = g$, $S_{ar{g}g} = T_{ar{g}g} = P_{ar{g}g} = E$, and $S_gT_g = T_gS_g$, establishing commutativity of $S_gT_g$.
• Prove that $e = gar{g} = ar{g}g$ is independent of $g$, and that $eg = ge = g$, confirming $e$ is the two-sided identity.
• Verify the Moufang identity $(gh)(kg) = g(hk)g$ using the map identities and group properties in $rak{T}$.

Experimental results

Research questions

• RQ1 Under what conditions on maps $S, T, P: G o rak{T}$ does a groupoid $G$ become a Moufang loop?
• RQ2 Can the unit and inverse elements in a Moufang loop be reconstructed from the maps $S, T, P$ and their algebraic relations in a group $rak{T}$?
• RQ3 Does the satisfaction of the transformation rules for $S_{ar{g}h}, T_{ar{g}h}, P_{ar{g}h}$ and their counterparts for $har{g}$ ensure the Moufang identity holds in $G$?

Key findings

• The unit element $e = gar{g} = ar{g}g$ is well-defined and independent of $g \in G$, with $S_e = T_e = P_e = E$.
• The element $e$ satisfies $eg = ge = g$ for all $g \in G$, confirming it is the two-sided identity of $G$.
• The inverse of $g$ is $g^{-1} = ar{g}$, and $S_{g^{-1}} = S_g^{-1}, T_{g^{-1}} = T_g^{-1}$, with $P_{g^{-1}} = P_g^{-1}$.
• The equation $gx = h$ has a unique solution $x = g^{-1}h$, and $xg = h$ has a unique solution $x = hg^{-1}$, confirming $G$ is an inverse property loop.
• The Moufang identity $(gh)(kg) = g(hk)g$ holds in $G$, as verified by showing $S_{(gh)(kg)} = S_{g(hk)g}$ and $T_{(gh)(kg)} = T_{g(hk)g}$ using the map identities.
• The triple closure relations $S_gS_hS_g = S_{ghk}, T_gT_hT_g = T_{ghk}, P_gP_hP_g = P_{ghk}$ are satisfied for all $g, h \in G$.