When is the commutant of a Bol loop a subloop?

DOI10.1090/S0002-9947-07-04391-7MaRDI QIDQ5442135zbMATH OpenFDO

Authors

Publication date 15 February 2008

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

Bol loopscommutantextensions of loopsfinite loops

Mathematics Subject Classification ID

Loops, quasigroups (20N05)

Abstract: A left Bol loop is a loop satisfying $x(y(xz))=(x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop $K$ such that $K$ is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with non-subloop commutant. In particular, we obtain all Bol loops of order 16 with non-subloop commutant.

Recommendations

• Commutants of Bol loops of odd order
• Commutants of middle Bol loops.
• Bol loops with a unique nonidentity commutator/associator.
• A Moufang loop's commutant.
• scientific article; zbMATH DE number 1098786

Cites work

• Bol Loops
• Bruck nets, codes, and characters of loops
• Commutants of Bol loops of odd order
• Finite Bol loops
• Finite Bol loops II
• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 47663 (Why is no real title available?)
• On the extension of involutorial Bol loops
• SEMI-DIRECT PRODUCTS AND BOL LOOP
• Theory of K-loops

Cited in

(18)

• Middle Bruck loops and the total multiplication group
• Poset loops
• Commutative subloop-free loops.
• The commingling of commutativity and associativity in Bol loops.
• Schreier loops
• scientific article; zbMATH DE number 1098786 (Why is no real title available?)
• Commutants of Bol loops of odd order
• Loops with abelian inner mapping groups: an application of automated deduction
• Uniquely 2-divisible Bol loops.
• Commutants of middle Bol loops.
• Moufang and commutant elements in magmas
• Bol Loops of Nilpotence Class Two
• Bol loops with a unique nonidentity commutator/associator.
• On the isotopic characterizations of generalized Bol loops
• Some varieties of loops (Bol-Moufang and non-Bol-Moufang Types)
• An extension formula for right Bol loops arising from Bol reflections
• Bol loops of order 27
• On generalised semi-automorphic inverse property loops

Describes a project that uses

Uses Software

• OTTER
• Prover9
• Mace4
• LOOPS

This page was built for publication: When is the commutant of a Bol loop a subloop?

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