Commutator theory for loops.

DOI10.1016/J.JALGEBRA.2013.08.045MaRDI QIDQ397857zbMATH OpenOpenAlexFDO

Authors David Stanovský, Petr Vojtěchovský

Publication date 12 August 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.05730

zbMATH Keywords

associator subloopassociatorscentral nilpotencycommutator theorycommutators of normal subloopscongruence commutatorsderived subloopinner mappingsnilpotencysolvabilitytotal inner mapping groupsvarieties of loops

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Loops, quasigroups (20N05)

Abstract: Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the congruence commutator to generators of the total inner mapping group. We specialize the fundamental theorem into several varieties of loops, and also discuss the commutator of two normal subloops. Consequently, we argue that some standard definitions of loop theory, such as elementwise commutators and associators, should be revised and linked more closely to inner mappings. Using the new definitions, we prove several natural properties of loops that could not be so elegantly stated with the standard definitions of loop theory. For instance, we show that the subloop generated by the new associators defined here is automatically normal. We conclude with a preliminary discussion of abelianess and solvability in loops.

Review text

Loop theory is influenced by group theory and by universal algebra. The usual definitions of normality, center, central nilpotency and commutators are very similar to those for groups. The authors suggest a different approach to commutator theory, which seems more adapted for loops. They use the Freese-McKenzie commutator theory for congruence modular varieties to develop a new commutator theory for the variety of loops.NEWLINENEWLINE The main theorem relates generators of the congruence commutator to generators of the total inner mapping group, more precisely, it describes the commutator \([\alpha,\beta]\) of two congruences \(\alpha,\beta\) using only the terms resulting from any set \(\mathcal W\) of words that generate total inner mapping groups. The main theorem can be used to obtain various descriptions of the commutator of two congruences. It turns out that the generating set \(\mathcal W\) in the main theorem can be simplified in some cases, in particular when it is specialized into several varieties of loops, such as inverse property loops, commutative loops, and groups. Moreover, the authors present a systematic definition of all possible associators and commutators in any loop. All these associators and commutators are associated with certain inner mappings and thus can be used to obtain a generating set of the congruence commutator.NEWLINENEWLINE The main theorem is re-stated for commutators \([A,B]_Q\) of two normal subloops \(A,B\) of a loop \(Q\). Also in this case simplifications of the generating set \(\mathcal W\) are studied.NEWLINENEWLINE It is shown that the center as defined in universal algebra and the center as defined in loop theory agree. Thus the concept of nilpotency based on the commutator theory yields the same concept as central nilpotency usually used in loop theory.NEWLINENEWLINE On the other hand, the concept of solvability derived from solvability in group theory does not agree with the universal algebraic solvability. The authors argue that the usual definition of solvability in loops may be too weak. They call a loop \textit{congruence solvable}, if there is a chain \(1=Q_0\leq Q_1\leq\cdots\leq Q_n=Q\) of normal subloops \(Q_i\) of \(Q\) such that every factor \(Q_{i+1}/Q_i\) is abelian in \(Q/Q_i\). Then they show that every congruence solvable loop is solvable in the usual sense, whereas the converse is not true, as is illustrated by a counterexample.

Recommendations

• Abelian extensions and solvable loops.
• On the generalized nilpotent and generalized solvable loops.
• A Moufang loop's commutant.
• Commutants of Bol loops of odd order
• Loop algebras of loops whose derived subloop is central.

Cites work

• Abelian inner mappings and nilpotency class greater than two.
• Centrally nilpotent finite loops.
• Congruence modular varieties: commutator theory and its uses
• Connected transversals to nilpotent groups
• FINITE LOOPS WITH NILPOTENT INNER MAPPING GROUPS ARE CENTRALLY NILPOTENT
• Homomorphisms of Non-Associative Systems
• How and why Moufang loops behave like groups.
• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 3931285 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 47663 (Why is no real title available?)
• scientific article; zbMATH DE number 2097987 (Why is no real title available?)
• scientific article; zbMATH DE number 3391068 (Why is no real title available?)
• Left conjugacy closed loops of nilpotency class two.
• Mal'cev varieties
• Moufang loops with commuting inner mappings.
• Nilpotence of finite Moufang 2-loops
• Nilpotency and Dimension Series for Loops
• Nilpotency in automorphic loops of prime power order.
• On loops of odd order. II
• On nilpotent Moufang loops with central associators.
• On the generalized nilpotent and generalized solvable loops.
• On the multiplication group of a loop
• On the nilpotence class of commutative Moufang loops
• Solvability of groups of odd order
• Solvable groups and loops
• Some applications of higher commutators in Mal'cev algebras
• The Devil and the Angel of Loops
• The structure of automorphic loops
• The structure of finite algebras
• The ternary commutator obstruction for internal crossed modules

Cited in

(32)

• Commutator theory for racks and quandles
• Topological loops having solvable indecomposable Lie groups as their multiplication groups
• Middle Bruck loops and the total multiplication group
• Abelian extensions and solvable loops.
• The prime radical of alternative rings and loops
• SRAR loops with more than two commutators.
• Extensions and tangent prolongations of differentiable loops
• Abelian congruences and solvability in Moufang loops
• Three concepts of nilpotence in loops
• Nuclei and commutants of C-loops.
• Prime radical of loops and -loops. I.
• On the generalized nilpotent and generalized solvable loops.
• scientific article; zbMATH DE number 5869694 (Why is no real title available?)
• Loop algebras of loops whose derived subloop is central.
• Relative commutator associated with varieties of n-nilpotent and of n-solvable groups.
• Generating subdirect products
• Medial and semimedial left quasigroups
• Division sudokus: invariants, enumeration, and multiple partitions
• Moufang loops and groups with triality are essentially the same thing
• The notion of lower central series for loops.
• Basarab loop and the generators of its total multiplication group
• Central nilpotency of skew braces
• On abelian-by-cyclic Moufang loops
• On polynomial completeness properties of finite Mal'cev algebras
• Congruence solvability in finite Moufang loops of order coprime to three
• Some varieties of loops (Bol-Moufang and non-Bol-Moufang Types)
• Central reflections and nilpotency in exact Mal'tsev categories
• Abelianness and centrality in inverse semigroups
• Every finite nilpotent loop has a supernilpotent loop as reduct
• Connections between Basarab and Buchsteiner loops
• The generators of total multiplication group of Cheban loop
• A correspondence between commutative rings and Jordan loops

Describes a project that uses

Uses Software

• GAP
• Mace4
• LOOPS

This page was built for publication: Commutator theory for loops.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397857)