Free Bol loops of exponent two
A \textit{loop} consists of a nonempty set \(L\) with a binary operation \(\ast\) such that, for each \(a, b \in L\), the equations \(a \ast x = b\) and \(y \ast a = b\) have unique solutions for \(x, y \in L\), and there exists an identity element \(1\in L\) satisfying \(1 \ast x = x = x \ast 1\), for any \(x \in L\). A (\textit{right}) \textit{Bol loop} \(L\) is a loop that satisfies the (right) Bol identity \(x((yz)y) = ((xy)z)y\) for \(x,y,z\in L\). One of the most interesting subvarieties of Bol loops is the variety \(B_2\) of Bol loops of exponent two. Many constructions of non-associative loops of \(B_2\) can be found in the literature (see [\textit{H. Kiechle}, Theory of K-loops. Berlin: Springer (2002; Zbl 0997.20059)], for example). In [\textit{G. P. Nagy}, Trans. Am. Math. Soc. 361, No. 10, 5331--5343 (2009; Zbl 1179.20061)], a class of non-associative simple Bol loops of exponent \(2\) was constructed. The authors give a construction of free objects in the variety \(B_2\). Let \(B(X)\) be the free Bol loop of exponent two with free set of generators \(X\). A subset \(R(X)\subseteq B(X)\) such that every element \(b \in B(X) \backslash \{1\}\) has the canonical form \(b = (\dots(b_1b_2)b_3\dots)b_m)b_{m-1})\dots)b_2)b_1\) is constructed, where \(b_i \in R(X)\) and \(b_i \not= b_{i+1}\), for all \(i\). Then, the multiplication law of \(B(X)\) based on this form is described. Furthermore, it is proved that the nuclei and the center of \(B(X)\) are trivial.
- Corrigenda
- Bol loops with a unique nonidentity commutator/associator.
- scientific article; zbMATH DE number 4047968
- Bol Loops of Nilpotence Class Two
- On left conjugacy closed loops with a nucleus of index two.
- A class of finite simple Bol loops of exponent 2
- On the extension of involutorial Bol loops
- Basic properties of second Smarandache Bol loops.
- NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
- The commingling of commutativity and associativity in Bol loops.
- A class of finite simple Bol loops of exponent 2
- Free Steiner triple systems and their automorphism groups
- scientific article; zbMATH DE number 47663 (Why is no real title available?)
- scientific article; zbMATH DE number 3328200 (Why is no real title available?)
- On Bol loops of exponent 2.
- On the extension of involutorial Bol loops
- On twisted subgroups and Bol loops of odd order.
- Self-invariant 1-factorizations of complete graphs and finite Bol loops of exponent 2.
- Solvability of universal bol 2-loops
- Theory of K-loops
This page was built for publication: Free Bol loops of exponent two
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6038519)
