On the extension of involutorial Bol loops
A loop \((L,\cdot)\) with neutral element \(1\) is called involutorial if for all \(x\in L\), \(x\cdot x=1\), and a Bol-loop if for all \(a,b,c\in L\), \(a(b\cdot ac)=(a\cdot bc)c\). In this note the authors present a method (called ``loop extension) to obtain an involutorial Bol-loop \((E,\bullet)\) starting from an involutorial Bol-loop \((L,\cdot)\) and from a Bol-loop \((L,*)\) with the same identity 1, enjoying suitable properties. The loop extension \((E,\bullet)\) has cardinality \(|E|=2|L|\) and contains \((L,\cdot)\) as a proper subloop of index 2. Conversely, they also prove that any involutorial Bol-loop \((E,\bullet)\) containing the involutorial Bol-loop \((L,\cdot)\) as a subloop of index \(2\) arises in this way. They also address the problem of formulating conditions ensuring that two loop extensions of the same loop \((L,\cdot)\) are isomorphic, and they apply this theorem to determine all 34 non-isomorphic involutorial Bol-loops of order 16. The latter result is obtained by means of the computer algebra program GAP4, since loops can be represented by their set of left translations and this allows the use of group theoretical tools. Finally, they characterize all involutorial Bol-loops \((L,\cdot)\) with right nucleus of index 2 in \(L\).
- scientific article; zbMATH DE number 1349921
- scientific article; zbMATH DE number 1183308
- scientific article; zbMATH DE number 3879168
- On some isostrophy invariants of Bol loops.
- Describing cyclic extensions of Bol loops.
- scientific article; zbMATH DE number 3879169
- A contribution to local Bol loops
- On Bol loops of exponent 2.
- A note on Bol loops of order \(2^nk\)
- On quadratic loops of Bol-Moufang type
- Bol loops with non-normal nuclei.
- On left conjugacy closed loops with a nucleus of index two.
- A new construction of Bol loops of order \(8k\).
- Middle Bruck loops and the total multiplication group
- Nuclear properties of loop extensions
- Construction of a class of loops via graphs.
- Left conjugacy closed loops of nilpotency class two.
- A contribution to local Bol loops
- Right nuclei of quasigroup extensions.
- A class of finite simple Bol loops of exponent 2
- EXTENSIONS OF INVERSE LOOPS
- scientific article; zbMATH DE number 1183308 (Why is no real title available?)
- Nilpotency in automorphic loops of prime power order.
- scientific article; zbMATH DE number 1349921 (Why is no real title available?)
- Uniquely 2-divisible Bol loops.
- When is the commutant of a Bol loop a subloop?
- scientific article; zbMATH DE number 5041304 (Why is no real title available?)
- The finite Bruck loops.
- Free Bol loops of exponent two
- An extension formula for right Bol loops arising from Bol reflections
- Extensions of Steiner triple systems
- On loop identities that can be obtained by a nuclear identification.
- On extraspecial left conjugacy closed loops.
- On left conjugacy closed loops in which the left multiplication group is normal.
This page was built for publication: On the extension of involutorial Bol loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1858618)
