[Paper Review] Half-isomorphisms of finite automorphic Moufang loops

A. Grishkov, M. L. Merlini Giuliani+2 more|arXiv (Cornell University)|Dec 16, 2014

Mathematics and Applications12 references3 citations

TL;DR

This paper proves that every half-isomorphism of a finite automorphic Moufang loop is trivial—meaning it is either an isomorphism or an anti-isomorphism. The result is established via structural analysis of Sylow subloops and properties of left-automorphic loops, showing that non-trivial half-isomorphisms cannot exist in this class, despite their existence in more general loop types.

ABSTRACT

We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general this is not true for finite left automorphic Moufang loops and for finite automorphic loops.

Motivation & Objective

• To determine the nature of half-isomorphisms in finite automorphic Moufang loops.
• To resolve whether non-trivial half-isomorphisms can exist in this class of loops.
• To extend known results on half-isomorphisms in Moufang loops of odd order to the broader class of automorphic Moufang loops.
• To investigate the structural constraints that force half-isomorphisms to be trivial in automorphic Moufang loops.

Proposed method

• Analyzing the loop structure using left and right multiplication maps and inner mapping groups.
• Applying Bruck’s lemmas on commutators and associators in left-automorphic Moufang loops.
• Decomposing the loop into Sylow subloops and studying the action of the half-isomorphism on each component.
• Using the fact that all Sylow subloops except the 3-Sylow are groups, and the 3-Sylow is of odd order, to apply known results on half-isomorphisms in odd-order loops.
• Establishing that the half-isomorphism must act trivially on the entire loop by componentwise action and contradiction with non-triviality.
• Leveraging the LOOPS package in GAP to verify examples of non-trivial half-isomorphisms in non-automorphic loops.

Experimental results

Research questions

• RQ1 Are all half-isomorphisms of finite automorphic Moufang loops necessarily trivial (i.e., isomorphisms or anti-isomorphisms)?
• RQ2 Can non-trivial half-isomorphisms exist in finite automorphic Moufang loops, despite their existence in more general loop classes?
• RQ3 What structural properties of automorphic Moufang loops force half-isomorphisms to be trivial?
• RQ4 How do Sylow subloop decompositions influence the behavior of half-isomorphisms in finite loops?

Key findings

• Every half-isomorphism of a finite automorphic Moufang loop is either an isomorphism or an anti-isomorphism, hence trivial.
• The proof relies on decomposing the loop into Sylow subloops and showing that the half-isomorphism acts trivially on each component.
• The 3-Sylow subloop, being of odd order, inherits the property that all half-isomorphisms are trivial, which contradicts the existence of non-trivial half-isomorphisms.
• Non-trivial half-isomorphisms exist in some finite loops, such as Code loops and certain automorphic loops, but not in finite automorphic Moufang loops.
• The result confirms a conjecture that all half-isomorphisms in automorphic Moufang loops are trivial, under the finiteness assumption.
• The structure of the loop, particularly the centrality of the associator subloop and the normality of characteristic subloops, plays a crucial role in the proof.