Free Bol loops of exponent two (Q6038519)

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.