[Paper Review] The Structure of F-Quasigroups

Tomáš Kepka, Michael Kinyon+1 more|ArXiv.org|Oct 14, 2005

Mathematics and Applications13 references6 citations

TL;DR

This paper resolves a longstanding open problem posed by Belousov in 1967 by characterizing the loop isotopes of F-quasigroups. It proves that every F-quasigroup is isotopic to a Moufang NK-loop—a central product of its nucleus and Moufang center—thereby establishing a complete structural characterization of F-quasigroups via their loop isotopes and automorphisms.

ABSTRACT

We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We then use the loop to reveal the structure of the associated F-quasigroup.

Motivation & Objective

• To resolve Belousov's open problem on the loop isotopes of two-sided F-quasigroups, which had remained unsolved since 1967.
• To characterize the precise class of loops to which F-quasigroups are isotopic, extending the Toyoda-Bruck theorem to this non-associative variety.
• To establish a structural decomposition of F-quasigroups using automorphisms, neutral elements, and loop substructures such as the nucleus and Moufang center.
• To generalize prior results on distributive and trimedial quasigroups by showing that F-quasigroups are built from specific loop-theoretic components.
• To clarify the role of normal congruences and subquasigroups in classifying F-quasigroups, particularly in terms of mediality, trimediality, and FG-structure.

Proposed method

• Introduce the concept of an NK-loop, defined as a loop where every element is a sum of an element from the nucleus and an element from the Moufang center.
• Prove that every Moufang NK-loop is itself a Moufang loop, establishing the algebraic foundation for the main result.
• Construct a strong arithmetic form of an F-quasigroup using a Moufang NK-loop (Q, +), automorphisms f, g ∈ Aut(Q, +), and an element e ∈ N(Q, +), such that x·y = f(x) + e + g(y).
• Impose conditions on f and g: they must commute, and the maps x ↦ x + f(x) and x ↦ x + g(x) must map into the nucleus and Moufang center, respectively.
• Use isotopy theory to show that every F-quasigroup is isotopic to such a structure, thereby realizing the loop isotope as a Moufang NK-loop.
• Apply normal congruence theory to analyze subquasigroups, showing that blocks of the congruence ρ are FG-quasigroups and that quotients are symmetric distributive quasigroups.

Experimental results

Research questions

• RQ1 Which loops are isotopic to two-sided F-quasigroups?
• RQ2 Can the structure of F-quasigroups be fully characterized via their loop isotopes?
• RQ3 What is the relationship between the nucleus, Moufang center, and the overall structure of an F-quasigroup?
• RQ4 Under what conditions is an F-quasigroup trimedial, medial, or an FG-quasigroup?
• RQ5 How do normal congruences and subquasigroups influence the classification of F-quasigroups?

Key findings

• Every F-quasigroup is isotopic to a Moufang NK-loop, where Q = N(Q) + K(Q), confirming a conjecture from 1979.
• The loop isotope of an F-quasigroup is a central product of its nucleus and Moufang center, providing a complete structural decomposition.
• An F-quasigroup has the form x·y = f(x) + e + g(y) for automorphisms f, g that commute and satisfy x + f(x), x + g(x) ∈ N(Q) and -x + f(x), -x + g(x) ∈ K(Q).
• Every (at most) three-generated F-quasigroup is an FG-quasigroup, and every four-generated subquasigroup is an FG-quasigroup if and only if α and β satisfy specific commuting identities.
• The minimal non-FG F-quasigroup has order 81 and is trimedial but not medial, while the minimal non-trimedial F-quasigroup is isomorphic to the symmetric group S₃ of order 6.
• The normal congruence ρ partitions Q into blocks that are FG-quasigroups, and Q/ρ is a symmetric distributive quasigroup, with each block being isotopic to an isomorphic group.