[Paper Review] The commutative Moufang loops with minimum conditions for subloops II

N. I. Sandu|ArXiv.org|Apr 24, 2008

Mathematics and Applications2 references4 citations

TL;DR

This paper establishes the equivalence of minimum conditions for various subloop types—centrally solvable, centrally nilpotent, and non-invariant associative subloops—in infinite non-associative commutative Moufang loops (CMLs). It proves that such loops satisfy the minimum condition for subloops if and only if they satisfy the minimum condition for subloops of a given central solvability or nilpotence class, and further shows that when all infinite non-associative subloops are normal, the associator subloop is finite and the loop is centrally solvable of class at most three.

ABSTRACT

It is proved that the following conditions are equivalent for an infinite non-associative commutative Moufang loop $Q$: 1) $Q$ satisfies the minimum condition for subloops; 2) if the loop $Q$ contains a centrally solvable subloop of class $s$, then it satisfies the minimum condition for centrally solvable subloops of class $s$; 3) if the loop $Q$ contains a centrally nilpotent subloop of class $n$, then it satisfies the minimum condition for centrally nilpotent subloops of class $n$; 4) $Q$ satisfies the minimum condition for non-invatiant associative subloops. The structure of the commutative Moufang loops, whose infinite non-associative subloops are normal, is examined.

Motivation & Objective

• To characterize infinite non-associative commutative Moufang loops (CMLs) satisfying the minimum condition for subloops.
• To investigate the relationship between the minimum condition for subloops and the minimum condition for centrally solvable/nilpotent subloops of a given class.
• To examine the structure of CMLs in which all infinite non-associative subloops are normal, and to determine the implications for the associator subloop and solvability class.
• To establish the equivalence between the minimum condition for subloops and the minimum condition for non-invariant associative subloops in infinite non-associative CMLs.

Proposed method

• Utilizes the lower central series and derived series to define central solvability and nilpotence in CMLs, with $ Q_n $ and $ Q^{(n)} $ denoting the $ n $-th terms.
• Applies the Bruck-Slaby Theorem to bound the nilpotency class of finitely generated CMLs by $ n-1 $ for $ n $ generators.
• Employs identities involving associators, such as $ (x,y,z)^3 = 1 $ and $ (x,y,z) = (y^{-1},x,z) $, to analyze loop structure and normality.
• Uses the inner mapping group $ I(Q) $ and the translation group $ abla(Q) $ to study normal subloops and automorphisms.
• Applies the concept of 'steady' central solvability/nilpotence: an infinite subloop of class $ n $ is steadily centrally solvable if every infinite subloop of class $ n $ contains a proper subloop of the same class.
• Analyzes the centralizer $ Z_Q(H) $ and its normality in $ Q $, and constructs $ C(H) $ as a normal subloop of finite index to derive contradictions under the assumption of non-minimum condition.

Experimental results

Research questions

• RQ1 Are the minimum conditions for subloops, centrally solvable subloops of class $ s $, centrally nilpotent subloops of class $ n $, and non-invariant associative subloops equivalent in infinite non-associative CMLs?
• RQ2 What structural properties arise in a CML where all infinite non-associative subloops are normal?
• RQ3 Does the existence of a steadily centrally solvable or nilpotent subloop of class $ n $ imply the existence of an infinite decreasing chain of subloops?
• RQ4 Is the minimum condition for subloops equivalent to the minimum condition for non-invariant associative subloops in infinite non-associative CMLs?
• RQ5 What is the maximum possible central solvability class of a CML in which all infinite non-associative subloops are normal?

Key findings

• The minimum condition for subloops in an infinite non-associative CML is equivalent to the minimum condition for centrally solvable subloops of any fixed class $ s $, and for centrally nilpotent subloops of any fixed class $ n $.
• The existence of a steadily centrally solvable or nilpotent subloop of class $ n $ in a CML is equivalent to the existence of an infinite decreasing chain of subloops of that class.
• The minimum condition for subloops is equivalent to the minimum condition for non-invariant associative subloops in infinite non-associative CMLs.
• If all infinite non-associative subloops of a CML are normal, then the associator subloop $ Q' $ is finite and the loop is centrally solvable of class at most three.
• In such CMLs with all infinite non-associative subloops normal, the second derived subloop $ Q^{(2)} $ must be associative, and $ Q' = Q^{(2)} $, but since $ Q' $ is centrally nilpotent, this leads to a contradiction unless $ Q^{(2)} $ is associative.
• The CML decomposes as a direct product of a divisible central subgroup $ D $ and a finite CML $ M $, and if $ L eq M $, then $ DL $ is an infinite non-associative normal subloop, contradicting non-normality of $ L $.