Abstract
The objectives of this paper is to give a systematic investigation of extension theory of loops. A loop extension is (left, right or middle) nuclear, if the kernel of the extension consists of elements associating (from left, right or middle) with all elements of the loop. It turns out that the natural non-associative generalizations of the Schreier’s theory of group extensions can be characterized by different types of nuclear properties. Our loop constructions are illustrated by rich families of examples in important loop classes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Over the past two decades, a non-associative extension theory of binary systems has attracted considerable attention, especially from the viewpoints of construction and investigation of quasigroups and loops with special features (e.g. [2, 3, 8, 10,11,12, 18, 19, 27, 28]). Among these, a non-associative generalization of the group theoretical Schreier extension (cf. [29]) seems to be the simplest and serves as a prototype. A loop L is an extension of a normal subloop N by the loop K if K is isomorphic to the factor loop L / N, the normal subloop is called the kernel subloop of the extension. Equivalently, there is a short exact sequence of loops
such that M is isomorphic to the normal subloop N. Extension theory of loops deals with classification of all possible extensions of loops and studies their properties. The related problems of group theory are completely solved by the Schreier theory of group extensions, cf. [22, 34, 35], Chapter XII, Sect. 48, 49, pp. 121–131 in [22]. An interesting property of extensions is the (left, right or middle) nuclear property, the kernel of a (left, right or middle) nuclear extension consists of elements associating (from left, right or middle) with all elements of the loop. The related discussions are applied to the construction and classification of new families of loops (e.g. [8, 13,14,15, 20, 21, 30, 31]).
Isomorphism classes of group extensions can be described with the cohomology classes assigned to the extension. Hence for the extension theory of groups homological algebra yields a natural framework, and considerable efforts have been made to extend the cohomological method even in the non-associative case. Eilenberg and Maclane [9] and Lafuante [23] introduced and studied a class of non-associative extensions of groups by groups, called loop prolongation. They observed that cohomological cocycles can measure the non-associativity of loop extensions, moreover a cohomological interpretation of the equivalence of extensions was formulated. Johnson and Leedham-Green [17], Smith [36], and Lal and Sharma [24] initiated to develop the theory of extensions to more general multiplicative structures. The methods of cohomology theory had successful applications to classification problems of central extensions of abelian groups by loops and to extensions of Bol and Moufang loops by Nagy et al. [7, 25, 26], Nishigôri [32, 33] and Jimenez and Meléndez [16].
However, to interpret the constructions of loop extensions in cohomology theory requires some structural theorems for the considered classes of loops. In the general case of nonassociative multiplication, the cohomological approaches encounter difficulties and limitations, hence the study requires more technical and combinatorial tools. The present contribution is therefore dedicated to the systematic investigation of the basic constructions of nonassociative extension theory using direct computational methods.
We studied in our joint work with K. Strambach (cf. [29]) the Schreier extensions, i.e. extensions of groups by loops defined by the same formula as in group theory, and obtained characterizations and constructions of examples for interesting subclasses of such loops. It turned out that in this case the extension is middle and right nuclear. The non-associative extension theory of Schreier type is investigated in a broader context in our papers with I. Stuhl (cf. [30, 31]), namely we gave characterizations of some right nuclear extensions of groups by quasigroups with right identity element.
In 1944 Albert in [1], (Theorem 6, pp. 406, 407) and Bruck in [4], (Theorem 10 B, pp. 166–168) initiated and thoroughly investigated the most general constructions of loop extensions. It turned out that Bruck’s construction of loop extensions has many more degrees of freedom than in Schreier’s theory of group extensions, namely that the multiplication function between different non-trivial left cosets of the kernel subgroup can be arbitrarily prescribed, (cf. [6], pp. 35–43). Albert’s description of general loop extensions yields a canonical form of the extended loop expressed with the help of a left transversal to the normal subgroup, any extension can be represented in Albert’s form.
The objectives of this paper are to give a systematic investigation of nuclear properties of extensions, to find algebraic characterizations of their different types and to examine the limits of the non-associative generalization of theory of extensions. The first section contains the introduction and the necessary definitions and the basic constructions. Section 2 is devoted to the general theory of loop extensions and to the discussion of their nuclear properties. Section 2.1 examines the relationship between the Bruck’s and Albert’s description of extensions. Section 2.2 contains a discussion of the internal determination of an Albert extension by a triple of a normal subgroup, a loop isomorphism to the factor loop and a left transversal to the kernel subgroup. Section 2.3 is devoted to the classification of extensions of order 6 and to the description of their nuclear properties. Section 2.4 gives a characterization of right nuclear extensions in Albert’s form, in this case the multiplication function between cosets of the kernel subgroup is a left multiplication in the kernel loop. Section 2.5 contains a construction of right nuclear but not nuclear extensions having left or right inverse property. In Sect. 3 we investigate right and middle nuclear extensions, called the Schreier extensions, which are the closest analogues of the group theoretical case. Section 3.1 is devoted to the construction of large classes of non-nuclear Schreier extensions satisfying the right Bol identity, using an extension method of Bol loops developed in [28] for classification of compact Bol loops. In Section 3.2 a discussion of internal constructions of Schreier extensions is given. In this study, the conjugation of the kernel subgroup by elements of the loop are an interesting tool. Section 3.3 is devoted to the investigation of automorphism-free and factor-free Schreier extensions by analogy in group theory and to the discussion of changing an extension by changing the underlying isomorphism or the left transversal of the decomposition. In Sect. 3.4 we investigate the relationship between different Schreier extensions of a loop.
1.1 Preliminaries
A quasigroup L is a set with a multiplication map \((x,y)\mapsto x\cdot y:L\times L\rightarrow L\) such that for each \(x\in L\) the left translations \(\lambda _x :L\rightarrow L\), \(\lambda _xy = xy\), and the right translations \(\rho _x : L\rightarrow L\), \(\rho _xy = yx\), are bijective maps. The left and right division operations on L are defined by the maps \((x,y)\mapsto x\backslash y = \lambda _x^{-1}y\), respectively \((x,y)\mapsto x/y = \rho _y^{-1}x\), \(x,y\in L\). An element \(e\in L\) is called left (right) identity if it satisfies \(e\cdot x = x\) (\(x\cdot e = x\)) for any \(x\in L\). A left and right identity is called identity element. A quasigroup L is a loop if it has an identity element. The right inner mappings of a loop L are the maps \(\rho ^{-1}_{yx} \rho _x \rho _y: L\rightarrow L\), \(x,y\in L\), the group generated by the right inner mappings is the right inner mapping group. The automorphism group of of a loop L is denoted by \(\mathrm {Aut}(L)\).
We will reduce the use of parentheses by the following convention: juxtaposition will denote multiplication, the division operations are less binding than juxtaposition, and the multiplication symbol is less binding than the divisions. For instance the expression \(xy / u \cdot v \backslash w\) is a short form of \(((x\cdot y)/ u)\cdot (v\backslash w)\).
The subgroups
of a loop L are the left, right, respectively middle nuclei, and \(\mathcal {N}(L)=\mathcal {N}_l(L)\cap \mathcal {N}_r(L)\cap \mathcal {N}_m(L)\) is the nucleus of L. A non-associative loop is called proper loop. If a subloop \(K\subset L\) is contained in the (left, right, respectively middle) nucleus of L, the it is (left, right, respectively middle) nuclear, in this case K is necessarily a group. For a subloop \(K\subset L\) the subset \(\mathcal {C}_L(K) = \{u\in L; \; u\cdot x = x\cdot u, \;\; x\in L\}\) is the commutant of K.
A loop L satisfies the left, respectively the right inverse property if there exists a bijection \(x\mapsto x^{-1}:L\rightarrow L\) such that \( x^{-1}\cdot xy = y\), respectively \(yx\cdot x^{-1}= y\) holds for all \(x, y\in L\). A loop with left and right inverse property has inverse property. The left alternative, respectively right alternative property of L is defined by the identity \(x\cdot xy = x^2 y\), respectively \(yx\cdot x = y x^2\), L is flexible if \( x\cdot yx = xy\cdot x\) for all \(x, y\in L\). A left, respectively right Bol loop is defined by the identity \((x\cdot yx)z = x(y\cdot xz)\), respectively \(z(xy\cdot x) = (zx\cdot y)x\). Any left (right) Bol loop has the left (right) alternative and the left (right) inverse property.
A subloop \(N\subset L\) is normal if it is the kernel of a homomorphism of L. The factor loop L / N is the loop induced on the set of left cosets of the normal subloop N.
A subset \(\Sigma \subset L\) is a left (right) transversal to a subgroup \(G\subset L\) if \(\Sigma \) consists of representatives of left (right) cosets of G such that \(e\in \Sigma \).
2 Albert Extensions
2.1 Bruck and Albert Extensions
Let K and N be loops and denote by small Greek, respectively Latin letters the elements of K, respectively of N and by \(\epsilon \in K\) and \(e\in G\) their identity elements.
Definition 1
A loop L is an extension of the normal proper subloop N by the loop K, if there is an isomorphism \(\kappa \) of K onto L / N. We say that \(N\lhd L\) is the kernel and \(\kappa : K\rightarrow L/N\) is the underlying isomorphism of the extension.
An extension is (left, right, respectively middle) nuclear, if the kernel subloop is (left, right, respectively middle) nuclear subgroup of L.
A. A. Albert formulated a principal description of extensions of loops by loops what he called crossed extension of loops by loops. R. H. Bruck investigating the general extensions of quasigroups by quasigroups gave a somewhat more general construction for extensions of loops by loops, which can be summarized as follows:
Lemma 2
(Bruck [4], Theorem 10B, p. 168 and [5], p. 779.). Assume that a loop L with identity element \(e\in L\) is an extension of a normal proper subloop N by a loop K. Then L is isomorphic to the loop \(K \times ^\triangledown N\) defined on \(K\times N\) by the multiplication
where \((a,b)\mapsto \triangledown _{\alpha ,\beta }(a,b)\), \(\alpha ,\beta \in K\) are quasigroup multiplications on N satisfying the conditions
-
(i)
\(\triangledown _{\epsilon ,\epsilon }\) coincides with the multiplication of N,
-
(ii)
\(e\in N\) is a left identity element of the multiplications \(\triangledown _{\epsilon ,\alpha }\),
-
(iii)
\(e\in N\) is a right identity element of the multiplications \(\triangledown _{\alpha ,\epsilon }\), \(\alpha \in K\).
Conversely, if for any \(\alpha ,\beta \in K\) there is given a quasigroup multiplication \(\triangledown _{\alpha ,\beta }\) on a loop N satisfying the conditions (i), (ii), (iii), then the multiplication (1) determines a loop \(K \times ^\triangledown N\) which is an extension of the subloop \(\{\epsilon \}\times N\) by the loop K.
Definition 3
The loop \(K \times ^\triangledown N\) defined on \(K\times N\) determined by the quasigroup multiplication \(\triangledown _{\alpha ,\beta }(a,b)\), \(\alpha ,\beta \in K\) satisfying the conditions (i), (ii), (iii) of Lemma 2 is called the Bruck extension of the loop N by the loop K.
For the determination of crossed extensions A. A. Albert gave the following construction:
Lemma 4
(Albert, [1], Theorem 6, pp. 406, 407.). Let \(\Sigma \) be a left transversal to a normal subloop N in a loop L and let \(\kappa :K\rightarrow L/N\) be an isomorphism of the loop K to the factor loop L / N. If \(l_\sigma \) denotes the unique element of the intersection \(\Sigma \cap \kappa (\sigma )\), \(\sigma \in K\), then the function \(\triangledown : K\times K\times N\times N\rightarrow N\) defined by
determines a Bruck extension \(K \times ^\triangledown N\) of the loop N by the loop K and the map \(\Phi :(\xi ,x) \mapsto l_\xi x\) is an isomorphism \(\Phi :K \times ^\triangledown N\rightarrow L\).
Proof
If \(\pi :L\rightarrow L/N\) is the canonical homomorphism then we have \(\pi \left( l_{\xi \eta }\backslash (l_\xi x \cdot l_\eta y)\right) = N\) and hence \(\triangledown _{\xi ,\eta }(x,y)\) is contained in N. The conditions i, ii, iii of Lemma 2 are routinely verified. One has \(\Phi ((\xi ,x)(\eta ,y)) = l_\xi x\cdot l_\eta y = \Phi (\xi ,x)\Phi (\eta ,y)\) and hence the assertion follows. \(\square \)
Remark 5
Let \(\Sigma \) be a left transversal to N in L and \(K \times ^\triangledown N\) the Bruck extension determined by the quasigroup multiplications (2). Then
- (iii\(^\prime \)):
-
\(e\in N\) is the identity element of the multiplications \(\triangledown _{\alpha ,\epsilon }\), \(\alpha \in K\).
Clearly, (iii) of Lemma 2 is a consequence of (iii\(^\prime \)) of Remark 5.
Definition 6
A Bruck extension \(K \times ^\triangledown N\) is called an Albert extension of N by K if the quasigroup multiplications \(\triangledown _{\alpha ,\beta }:N\times N\rightarrow N\), \(\alpha ,\beta \in K\) satisfy
-
(a)
\(\triangledown _{\epsilon ,\epsilon }\) coincides with the multiplication of N,
-
(b)
\(e\in N\) is a left identity element of \(\triangledown _{\epsilon ,\alpha }\), \(\alpha \in K\),
-
(c)
\(e\in N\) is the identity element of \(\triangledown _{\alpha ,\epsilon }\), \(\alpha \in K\).
It follows from Lemma 4 and Remark 5, that any Bruck extension \(K \times ^\triangledown N\) is isomorphic to an Albert extension. Now, we construct such an isomorphism.
Theorem 7
Let \(K \times ^\triangledown N\) be a Bruck extension and \(\varphi _\alpha :N\rightarrow N\) the maps \(\varphi _\alpha :x\mapsto \triangledown _{\alpha ,\epsilon }(e,x)\), \(\alpha \in K\). Then the map \(\Phi :(\xi ,x)\mapsto (\xi ,\varphi _\xi (x))\) is an isomorphism of the Albert extension \(K\times ^{\triangledown ^*}N\) determined by the function \(\triangledown ^*: K\times K\times N\times N\rightarrow N\),
onto the Bruck extension \(K \times ^\triangledown N\). Moreover, the isomorphism \(\Phi \) induces the identity map on the normal subgroup \(\{\epsilon \}\times N\).
Proof
We have
hence \(e\in N\) is a left identity element of \(\triangledown _{\epsilon ,\alpha }\). Moreover \(e\in N\) is the identity element of \(\triangledown _{\alpha ,\epsilon }\) for any \(\alpha \in K\), since the identities
follow from \(\varphi _\alpha (e) = e\), \(\varphi _\epsilon (b) = b\) and from the right identity property of \(e\in N\) with respect to the multiplication \(\triangledown _{\alpha ,\epsilon }\). Hence \(K\times ^{\triangledown ^*}N\) is an Albert extension. Since \(\triangledown _{\epsilon ,\epsilon }(e,x) = x\), one has \(\Phi (\epsilon ,x) = (\epsilon ,x)\) for any \(x\in N\). The multiplication \((\alpha ,a)*(\beta ,b)\) in \(K \times ^{\triangledown ^*}N\) satisfies
consequently the map \((\xi ,x)\mapsto (\xi ,\varphi (x))\) is an isomorphism from \(K\times ^{\triangledown ^*}N\) to \(K \times ^\triangledown N\). \(\square \)
Corollary 8
If \(\Sigma = \{(\xi ,e),\; \xi \in K\}\) is the left transversal to the subgroup \(\{\epsilon \}\times N\) in an Albert extension \(K\times ^\triangledown N\) then the multiplications defined by (2) with respect to \(\Sigma \) coincide with the multiplications \(\triangledown _{\alpha ,\beta }\) for any \(\alpha ,\beta \in K\).
Proof
If \(l_\xi = (\xi ,e)\) then we have \(l_{\xi \eta }\backslash (l_\xi x \cdot l_\eta y) = (\xi ,e)\backslash ((\xi ,x)(\eta ,y)) = (\epsilon ,\triangledown _{\xi ,\eta }(x,y))\). \(\square \)
2.2 Albert Decompositions
Let L be a loop, N a normal subloop of L and let \(K\times ^\triangledown N\) be an Albert extension of N by K.
Lemma 9
If the map \(\mathcal {F}:K\times ^\triangledown N\rightarrow L\) is an isomorphism satisfying \(\mathcal {F}(\epsilon ,t) = t\) for any \(t\in N\), then the induced map
is an isomorphism, too.
Proof
The assertion follows from the observation that a loop isomorphism \(\tau :M\rightarrow N\) induces an isomorphism \(M/H\rightarrow N/\tau (H)\), where \(H\lhd M\) is a normal subloop. \(\square \)
Definition 10
An Albert decomposition of a loop L with respect to its normal subloop N is an isomorphism \(\mathcal {F}\) of an Albert extension \(K\times ^\triangledown N\) onto L satisfying \(\mathcal {F}(\epsilon ,t) = t\) for any \(t\in N\). The map \(\sigma \mapsto \mathcal {F}(\sigma ,e)G:K\rightarrow L/N\) is the underlying isomorphism of the Albert decomposition \(\mathcal {F}\).
A data triple \((N,\kappa ,\Sigma )\) of an Albert decomposition of the loop L consists of
-
(i)
a normal subloop N of L,
-
(ii)
an isomorphism \(\kappa \) of a loop K onto L / N,
-
(iii)
a left transversal \(\Sigma \) to N in L.
For a data triple \((N,\kappa ,\Sigma )\) of an Albert decomposition of L we define the maps
Definition 11
The loop determined by the maps (3) on \(K\times N\) will be called the Albert extension determined by the data triple \((N,\kappa ,\Sigma )\) and denoted by \(\mathcal {L}(N,\kappa ,\Sigma )\).
Theorem 12
Let \(\mathcal {L}(N,\kappa ,\Sigma )\) be the Albert extension determined by the data triple \((N,\kappa ,\Sigma )\). The map \(\mathcal {F}:\mathcal {L}(N,\kappa ,\Sigma )\rightarrow L\) defined by \(\mathcal {F}(\sigma ,s) = l_\sigma s\) is an Albert decomposition of L with respect to N with the underlying isomorphism \(\kappa :K\rightarrow L/N\).
Conversely, let \(\mathcal {F}:K\times ^\triangledown N\rightarrow L\) be an Albert decomposition of L with respect to N. Define the map \(\kappa \) by \(\sigma \mapsto \mathcal {F}(\sigma ,e)N\) and the transversal \(\Sigma \) by \(\{\mathcal {F}(\sigma ,e); \;\sigma \in K\}\). Then \((N,\kappa ,\Sigma )\) is a data triple of an Albert decomposition of L and \(K\times ^\triangledown N = \mathcal {L}(N,\kappa ,\Sigma )\).
Proof
An element \(x\in L\) can be uniquely decomposed as a product \(x = l_\sigma s\) with \(l_\sigma \in \Sigma \), \(s\in N\). The bijective map \(\mathcal {F}:K\times G\rightarrow L\) defined by \(\mathcal {F}(\sigma ,s) = l_\sigma s\) satisfies \(\mathcal {F}(\epsilon ,t) = t\) for any \(t\in N\). We have \(\mathcal {F}(\sigma ,s)\mathcal {F}(\tau ,t) = l_{\sigma }s\cdot l_{\tau }t = \mathcal {F}(\sigma \tau ,l_{\sigma \tau }\backslash (l_\sigma s\cdot l_\tau t))\), hence the map \(\mathcal {F}\) is an isomorphism and \(\mathcal {F}(\sigma ,e)G = \kappa (\sigma )\). Consequently \(\mathcal {F}:\mathcal {L}(N,\kappa ,\Sigma )\rightarrow L\) is an Albert decomposition of L and \(\kappa \) is the underlying isomorphism.
Conversely, let \(\mathcal {F}:K\times ^\triangledown N\rightarrow L\) be an Albert decomposition of L. The set \(\Sigma \) is a left transversal to N in L and \(\mathcal {F}(\sigma ,s) = l_\sigma s\) for any \(\sigma \in K\) and \(s\in N\). Clearly, \((N,\kappa ,\Sigma )\) is a data triple of an Albert decomposition of L and the equation \(K\times ^\triangledown N = \mathcal {L}(N,\kappa ,\Sigma )\) follows from Corollary 8. \(\square \)
Lemma 13
For any Albert extension \(K\times ^\triangledown N\) there exists an extension L of N by K and an isomorphism \(\mathcal {F}:K\times ^\triangledown N\) which is an Albert decomposition of L with respect to N.
Proof
We replace in \(K\times N\) the elements \((\epsilon ,t)\in \{\epsilon \}\times N\) by the corresponding elements \(t\in N\) and define a loop L on the set \(\big ((K\times N)\setminus \{\epsilon \}\times N\big )\cup N\) in such a way, that the map \((\epsilon ,t)\mapsto t\), \(t\in N\), together with the identity map on \((K\times N)\setminus \{\epsilon \}\times N\) is an isomorphism \(\mathcal {F}:K\times ^\triangledown N\rightarrow L\). Then \(\mathcal {F}:K\times ^\triangledown N\rightarrow L\) is an Albert decomposition of L with respect to N. \(\square \)
2.3 Albert Extensions of Order 6
2.3.1 Extensions of \(C_2\) by \(C_3\)
Since the loops of order 2 or 3 are cyclic groups, the Albert extensions of order 6 are extensions of a cyclic group by a cyclic group. We investigate the Albert extension loop L of a normal subgroup \(C_2 =\{0,1\}\) by the group \(C_3 =\{0,1,2\}\) using the construction described in Definition 4. A quasigroup of order two is either \(C_2\) or it is given by the multiplication \(\triangledown (a,b) = a + b + 1\), \(a,b\in C_2\). Hence we have \(\triangledown _{\alpha ,\beta }(a,b) = a + b + f(\alpha ,\beta )\), where \(f:C_3\times C_3\rightarrow C_2\) is a function (loop cocycle) satisfying \(f(\alpha ,0) = f(0,\beta ) = 0\), \(\alpha ,\beta \in C_3\). Let \(\mathcal {L}_f\) denote the loop defined by the multiplication
on \(C_3\times C_2\). According to Theorem 2.1. in [26] \(\{0\}\times C_3\) is contained in the center of \(C_3\), i.e. all elements of \(\{0\}\times C_3\) commute and associate with all other elements of \(\mathcal {L}_f\), hence the extension is nuclear. Since
and
the multiplication of \(\mathcal {L}_f\) is associative if and only if \(f(\alpha + \beta ,\gamma ) + f(\alpha ,\beta ) = f(\alpha , \beta +\gamma ) + f(\beta ,\gamma )\) for any \( \alpha , \beta ,\gamma \in C_3\). Investigating all of the cases \(\alpha , \beta , \gamma \in \{1,2\}\), we find that \(\mathcal {L}_f\) is a group if and only if
Let \(f_i\) be the function defined on the pairs (1, 1), (1, 2), (2, 1), (2, 2) with the binary digits of \(i = 0,\ldots ,15\), i.e. \(i = f_i(1,1)2^3 + f_i(1,2)2^2 + f_i(2,1)2 + f_i(2,2)\). Any Albert extension of \(C_2\) by \(C_3\) is isomorphic to one of the loops \(\mathcal {L}_{f_i}\), \(i = 0,\ldots ,15\). Let \(\mathcal {L}_{f^\prime }\) be the loop determined by the function \(f^\prime :C_3\times C_3\rightarrow C_2\), \(f^\prime (\alpha ,\beta ) = f(2\alpha ,2\beta )\) and consider the bijective map \(\varphi :\mathcal {L}_{f}\rightarrow \mathcal {L}_{f^\prime }\) given by \(\varphi (\alpha ,a) = (2\alpha ,a)\). Since
the mapping \(\varphi \) is an isomorphism \(\mathcal {L}_f\rightarrow \mathcal {L}_{f^\prime }\) and we have the isomorphisms \(\mathcal {L}_{f_{1}}\cong \mathcal {L}_{f_{8}}\), \(\mathcal {L}_{f_{2}}\cong \mathcal {L}_{f_{4}}\), \(\mathcal {L}_{f_{3}}\cong \mathcal {L}_{f_{12}}\), \(\mathcal {L}_{f_{5}}\cong \mathcal {L}_{f_{10}}\), \(\mathcal {L}_{f_{7}}\cong \mathcal {L}_{f_{14}}\), and \(\mathcal {L}_{f_{11}}\cong \mathcal {L}_{f_{13}}\). Any loop \(\mathcal {L}_{f_{i}}\) is isomorphic to one of \(\mathcal {L}_{f_{0}}\), \(\mathcal {L}_{f_{1}}\), \(\mathcal {L}_{f_{2}}\), \(\mathcal {L}_{f_{3}}\), \(\mathcal {L}_{f_{5}}\), \(\mathcal {L}_{f_{6}}\), \(\mathcal {L}_{f_{7}}\), \(\mathcal {L}_{f_{9}}\), \(\mathcal {L}_{f_{11}}\) and \(\mathcal {L}_{f_{15}}\) given by the functions
Clearly, \(\mathcal {L}_{f_0}\), \(\mathcal {L}_{f_1}\), \(\mathcal {L}_{f_6}\), \(\mathcal {L}_{f_7}\), \(\mathcal {L}_{f_9}\) and \(\mathcal {L}_{f_{15}}\) are commutative.
For \(\xi \in C_3 =\{0,1,2\}\) denote \(\xi '\in C_2 =\{0,1\}\) the element given by \(0' = 0\), \(1' = 1\) and \(2' = 0\). The map \(\mathcal {L}_f\rightarrow \mathcal {L}_{f^*}\), \((\xi ,x)\mapsto (\xi ,x + \xi ')\) is an isomorphism, if and only if
is an identity. Working with canonical copies of \(C_2\) and \(C_3\) in \(\mathbb Z\) we obtain equivalently
Hence we get
i.e. the function \(f^*\) satisfies \(f^*(1,1) = f(1,1)\) and \(f^*(\alpha ,\beta ) = f(\alpha ,\beta ) + 1\) if \(\alpha ,\beta \in \{1,2\}\) and \(\alpha = 2\) or \(\beta = 2\). It follows that we have the isomorphisms: \(\mathcal {L}_{f_0}\cong \mathcal {L}_{f_7}(\cong \mathcal {L}_{f_{14}})\cong \mathcal {L}_{f_9}\), \(\mathcal {L}_{f_1}\cong \mathcal {L}_{f_6}\), \(\mathcal {L}_{f_1}(\cong \mathcal {L}_{f_8})\cong \mathcal {L}_{f_{15}}\), \(\mathcal {L}_{f_2}\cong \mathcal {L}_{f_5}\), \(\mathcal {L}_{f_2}(\cong \mathcal {L}_{f_4})\cong \mathcal {L}_{f_3}\), \(\mathcal {L}_{f_3}(\cong \mathcal {L}_{f_{12}})\cong \mathcal {L}_{f_{11}}\) and we can omit \(\mathcal {L}_{f_3}\), \(\mathcal {L}_{f_5}\), \(\mathcal {L}_{f_6}\), \(\mathcal {L}_{f_7}\), \(\mathcal {L}_{f_{9}}\), \(\mathcal {L}_{f_{11}}\), \(\mathcal {L}_{f_{15}}\) from the further investigation. \(\mathcal {L}_{f_{0}}\) is isomorphic to the cyclic group \(C_6\). \(\mathcal {L}_{f_1}\) and \(\mathcal {L}_{f_2}\) are commutative and non-commutative proper loops. We obtain the following
Proposition 14
Any Albert extension of \(C_2\) by \(C_3\) is isomorphic to the one of the following loops: cyclic group \(\mathcal {L}_{f_0}\cong C_6\), commutative proper loop \(\mathcal {L}_{f_1}\), non-commutative proper loop \(\mathcal {L}_{f_9}\). The normal subgroup \(\{0\}\times C_2\) for each loop is nuclear.
2.3.2 Extensions of \(C_3\) by \(C_2\)
In the following we identify \(C_3\) with the additive group of the field \(\mathbb F_3\) of order 3. Consider the multiplication table (Latin square) of a quasigroup. Its rows (columns) are permutations describing the left (right) translations. The even permutations of \(\mathbb F_3\) are the maps \(x\mapsto x + q\) and the odd permutations are \(x\mapsto 2x + q\) with some \(q\in \mathbb F_3\), since \(x\mapsto 2x\) is a transposition. Consequently any permutation of \(\mathbb F_3\) can be expressed as \(x\mapsto (1 + \sigma )x + q\) with \(\sigma \in \{0,1\}\subset \mathbb F_3\) and \(q\in \mathbb F_3\), this permutation is even for \(\sigma = 0\) and odd for \(\sigma = 1\). It is easy to check that the rows (columns) of the multiplication table are permutations of the same parity. For a given parity of rows (columns), the tables can only differ in the order of the rows (columns). Hence if \(x\mapsto (1 + \sigma )x + q\) is the permutation given by the first row (column), then the i-th row (column), \(i = 2,3\), is the permutation \(x\mapsto (1 + \sigma )x + q + (1 + \tau )i\), where \(\tau \in \{0,1\}\subset \mathbb F_3\). It follows that a quasigroup multiplication defined on \(F_3\) can be expressed by
Let \((\alpha ,a)(\beta ,b)= (\alpha + \beta ,\,\triangledown _{\alpha ,\beta }(a,b))\), \(\alpha ,\beta \in C_2\), \(a,b\in \mathbb F_3\), be the multiplication of an Albert extension of \(C_3\) by \(C_2\). Then
A loop of order 3 is necessarily a group, hence \(\triangledown _{1,0}(a,b) = a + b\). The quasigroup with multiplication \(\triangledown _{0,1}(a,b)\) is isomorphic either to \(C_3\) or \(\triangledown _{0,1}(a,b) = 2a + b\), hence \(\triangledown _{0,1}(a,b) = (1 + \theta )a + b\) with \(\theta \in \{0,1\}\subset \mathbb F_3\). According to (6) we can express
For \(\xi \in C_2 =\{0,1\}\) denote \(\xi '\in \mathbb F_3\) the canonical copy of elements of \(\{0,1\}\) in \(\mathbb F_3\), then
We have the decomposition
Hence we get
Denote \(\epsilon = (\sigma - \theta )(1 + \theta ) = \sigma + \theta + \sigma \theta \), and hence \(\sigma = \epsilon + \theta + \epsilon \theta \), where \(\epsilon \in \{0,1\}\subset \mathbb F_3\). Putting this into (8) we obtain:
hence the multiplication can be written in the form
for any \(\alpha ,\beta \in C_2\), \(a,b\in C_3\), where \(\epsilon ,\theta ,\tau \in \{0,1\}\) and \(q \in \{0,1,2\}\) are fixed parameters.
The map \(C_2\times C_3 \rightarrow C_2\times C_3\), \((\alpha ,a)\mapsto (\alpha ,2a)\) is an isomorphism between the loops with parameters \(\epsilon \), \(\theta \), \(\tau \), q, respectively \(\epsilon \), \(\theta \), \(\tau \), \(q^* = 2q\), since
Consequently, we can assume \(q\in \{0,1\}\).
We obtain the assertion of
Proposition 15
Let \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) be the Albert extension defined on \(C_2\times C_3\) by the multiplication
depending on the parameters \(\epsilon , \theta , \tau , q\in \{0,1\}\). Any loop of order six containing a subgroup of order three is isomorphic to an Albert extension \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\).
\(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is commutative if and only if \(\epsilon = \tau \) and \(\theta = 0\).
An Albert extension \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is either nuclear or it has precisely one of the left, middle or right nuclear property. \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is left, middle or right nuclear if and only if \(\epsilon = 0\), \(\epsilon = \tau \) or \(\tau = 0\), respectively.
\(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is a group if and only if \(\epsilon = \tau =0\) and \(\theta q = 0\).
Proof
First we prove that the multiplication (10) determines a loop. Clearly, (0, 0) is the unit element of \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\). The equation \((\xi ,x)(\beta ,b) = (\gamma ,c)\) for \((\xi ,x)\) yields \(\eta = \beta + \gamma \) and the linear equation
for x. The coefficient of x is
Since \(1 + \gamma \in C_2\) the coefficient of x is contained in \(\{1,2\}\), hence the equation is uniquely solvable. Similarly the equation \((\alpha ,a)(\eta ,y) = (\gamma ,c)\) for \((\eta ,y)\) gives \(\eta = \alpha + \gamma \) and
which is uniquely solvable, since the coefficient of y is \(\alpha '(\alpha + \gamma )'\tau + 1\in \{1,2\}\). Clearly, for any loop of order 6 a subgroup of order 3 is necessarily normal, hence \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is a loop which is an Albert extension.
The associativity of the multiplication is equivalent to the identity
where \(\alpha ,\beta ,\gamma \in C_2\), \(a,b,c\in C_3\). Substituting one by one \(\alpha = 0\), \(\beta = 0\) and \(\gamma = 0\) we obtain that \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is a left, middle or right nuclear extension if and only if \(\epsilon = 0\), \(\epsilon = \tau \) or \(\tau = 0\), respectively. It follows that \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is nuclear if and only if \(\epsilon = \tau = 0\). Clearly, \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is commutative if and only if \(\epsilon = \tau \) (middle nuclear) and \(\theta = 0\). Putting \(\epsilon = \tau = 0\) into (11) we get that \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\) is a group if and only if \(\epsilon = \tau = 0\) (nuclear) and \(\theta q = 0\). \(\square \)
The map \(\mathcal {L}(\epsilon ,\theta ,\tau ,q)\rightarrow \mathcal {L}(\epsilon ,\theta ,\tau ,q^*)\), \((\alpha ,a)\mapsto (\alpha ,\alpha ' + a)\) is an isomorphism if and only if
or equivalently \(q^* + \epsilon (1 + \theta ) + \theta + \tau = q + 1\). Computing
we obtain the isomorphisms \(\mathcal {L}(0,0,0,0)\cong \mathcal {L}(0,0,0,1)\) and \(\mathcal {L}(1,1,0,0)\cong \mathcal {L}(1,1,0,1)\), respectively \(\mathcal {L}(0,1,1,0)\cong \mathcal {L}(0,1,1,1)\) and \(\mathcal {L}(1,0,1,0)\cong \mathcal {L}(1,0, 1,1)\). It follows that the loops \(\mathcal {L}(0,0,0,1)\), \(\mathcal {L}(0,1,1,1)\), \(\mathcal {L}(1,0,1,1)\) and \(\mathcal {L}(1,1,0,1)\) can be omitted from the further investigation.
The squares of elements belonging to \(\{1\}\times C_3\) are
Hence the set \(\{(1,a)^2,\; a\in C_3\}\) is either \(\{(0,q)\}\) with \(q\in \{0,1\}\) or \(\{0\}\times C_3\). The extensions, their nuclear properties and the corresponding sets \(\{(1,a)^2,\; a\in C_3\}\) are given by the list:
These loops have different algebraic properties, hence they are not isomorphic. It follows
Proposition 16
Any Albert extension of \(C_2\) by \(C_3\) is isomorphic to one of the non-isomorphic loops listed in (12). \(\mathcal {L}(0,0,0,0)\) is isomorphic to the cyclic group \(C_6\), \(\mathcal {L}(0,0,1,0)\) is isomorphic to the dihedral group \(D_3\) and \(\mathcal {L}(0,0,1,1)\) is a non-associative nuclear extension. The others are proper loops with non-nuclear \(\{0\}\times C_3\). Only the middle nuclear \(\mathcal {L}(1,1,0,0)\) is non-associative and commutative.
2.4 Right Nuclear Extensions
In the following we discuss nuclear properties of normal subloops of loops. Since the left, right or middle nuclei of a loop are necessarily groups, we will investigate extensions of groups G by loops K. In the following \(\mathrm {Sym}(M)\) denotes the group of all permutations of a set M.
Lemma 17
An Albert extension \(K\times ^\triangledown G\) of G by K is right nuclear if and only if the function \(\triangledown _{\xi ,\eta }(x,y)\) has the form \(\triangledown _{\xi ,\eta }(x,y) = \Gamma _{\xi ,\eta }(x)y\), \(\xi ,\eta \in K\), \(x,y\in G\), where \(\Gamma : K\times K\rightarrow \mathrm {Sym}(G)\) is a map with \(\Gamma _{\epsilon ,\sigma }(e) = e\) and \(\Gamma _{\sigma ,\epsilon } = \mathrm {Id}\) for all \(\sigma \in K\).
Proof
The extension \(K\times ^\triangledown G\) is right nuclear if and only if \(\triangledown _{\alpha \beta ,\epsilon }(\triangledown _{\alpha ,\beta }(a,b),c) = \triangledown _{\alpha ,\beta }(a,\triangledown _{\beta ,\epsilon }(b,c))\) is an identity. Putting \(a = e\), \(\beta = \epsilon \) we get \(\triangledown _{\alpha ,\epsilon }(b,c) = bc\) for any \(\alpha \in K\), \(b,c\in G\). Replacing this into the right nuclear identity we get \(\triangledown _{\alpha ,\beta }(a,b)c = \triangledown _{\alpha ,\beta }(a,bc)\), i.e. \(\triangledown _{\alpha ,\beta }(a,c) = \triangledown _{\alpha ,\beta }(a,e)c\) for all \(\alpha ,\beta \in K\), \(a,c\in G\). Denoting \(\Gamma _{\xi ,\eta }(x) = \triangledown _{\xi ,\eta }(x,e)\) we obtain the first implication. Conversely, if \(\triangledown _{\xi ,\eta }(x,y) = \Gamma _{\xi ,\eta }(x)y\), then we have the equation
hence \(K\times ^\triangledown G\) is right nuclear. \(\square \)
Definition 18
Let \(\Gamma : K\times K\rightarrow \mathrm {Sym}(G)\) be a map satisfying \(\Gamma _{\epsilon ,\sigma }(e) = e\) and \(\Gamma _{\sigma ,\epsilon } = \mathrm {Id}\) for all \(\sigma \in K\). We denote by \(K\times ^\Gamma G\) the right nuclear Albert extension of G by K defined by the multiplication \((\alpha ,a)(\beta ,b)= (\alpha \beta ,\Gamma _{\alpha ,\beta }(a)b)\), \(\alpha ,\beta \in K\), \(a,b\in G\).
Lemma 19
Assume that the loop L is a right nuclear extension of the normal proper subgroup \(G\lhd L\) by the loop K, \(\kappa : K\rightarrow L/G\) is the underlying isomorphism and \(\Sigma \) is a left transversal to G in L. Let \(\Gamma : K\times K\rightarrow \mathrm {Sym}(G)\) be the map defined by
and let \(K\times ^\Gamma G\) be the Albert extension determined by the multiplications \(\triangledown _{\alpha ,\beta }(a,b) = \Gamma _{\alpha ,\beta }(a)b\). Then the map \(\Phi :(\xi ,x) \mapsto l_\xi x\) is an isomorphism \(\Phi :K\times ^\Gamma G\rightarrow L\).
Proof
Applying the natural homomorphism \(L\rightarrow L/G\) to \(l_{\xi \eta }\backslash (l_\xi x \cdot l_\eta )\) we get that \(\Gamma _{\xi ,\eta }(x)\in G\) for any \(\xi ,\eta \in K\), \( x\in G\), hence \(\Gamma _{\xi ,\eta }\in \mathrm {Sym}(G)\). The bijective map \(\Phi :K\times ^\Gamma G\rightarrow L\) is an isomorphism since \(\Phi ((\xi ,x)(\eta ,y)) = \Phi (\xi ,x)\Phi (\eta ,y)\) follows from
Hence we obtain the assertion. \(\square \)
Remark 20
If we denote the maps \(\Gamma _{\epsilon ,\tau }:K\rightarrow \mathrm {Sym}(G)\) and \(\Gamma (e):K\times K\rightarrow G\) by \(\Theta _\tau = \Gamma _{\epsilon ,\tau }\), respectively \(f(\sigma ,\tau ) = \Gamma _{\sigma ,\tau }(e)\) then we get the expressions
Theorem 21
The right nuclear Albert extension \(K\times ^\Gamma G\) is
-
(i)
middle nuclear if and only if all \(\Theta _\tau \), \(\tau \in K\), are automorphisms of G and \(\Gamma \) has the form \(\Gamma _{\sigma ,\tau }(s) = f(\sigma ,\tau )\Theta _\tau (s)\),
-
(ii)
left nuclear if and only if all \(\Theta _\tau \), \(\tau \in K\), are automorphisms of G and \(\Gamma \) has the form \(\Gamma _{\sigma ,\tau }(g) = \Theta _{\sigma \tau }(\Theta ^{-1}_\sigma (g)) f(\sigma ,\tau )\),
-
(iii)
nuclear if and only if \(\Gamma _{\sigma ,\tau }(s) = f(\sigma ,\tau )\Theta _\tau (s)\) and \(\Theta _{\sigma \tau }\Theta _\sigma ^{-1}\Theta _\tau ^{-1} = \iota _{f(\sigma ,\tau )}\), \(\sigma ,\tau \in K\), where \(\iota _s(t) = sts^{-1}\), \(s,t\in G\).
Proof
The multiplication of \(K\times ^\Gamma G\) is associative if and only if K is a group and
for any \(\alpha ,\beta ,\gamma \in K\) and \(a,b\in G\). Putting \(\beta = \epsilon \) we get that the middle nuclear property of \(K\times ^\Gamma G\) is equivalent to the identity \(\Gamma _{\alpha ,\gamma }(ab) = \Gamma _{\alpha ,\gamma }(a)\Theta _\gamma (b)\), and with \(a = e\) we get the necessary condition \(\Gamma _{\alpha ,\gamma }(b) = f(\alpha ,\gamma )\Theta _\gamma (b)\). Hence \(K\times ^\Gamma G\) is middle nuclear if and only if
consequently \(\Theta _\gamma \in \mathrm {Aut}(G)\) for any \(\gamma \in K\) giving the assertion (i).
Replacing \(\alpha = \epsilon \) into the identity (14) we get
\(\beta = \epsilon \) yields \(\Theta _\gamma (ab) = \Theta _\gamma (a)\Theta _\gamma (b)\), i.e. \(\Theta _\gamma \in \mathrm {Aut}(G)\) for any \(\gamma \in K\). Putting \(b = e\) and \(c = \Theta _\beta (a)\) we get
Conversely, if (16) holds for any \(\beta ,\gamma \in K\), \(c\in G\) then the (15) is satisfied and we obtain the assertion (ii).
Assume now, that both (i) and (ii) are satisfied, i.e.
Putting \(a = \Theta _\gamma (b)\) we get \(f(\beta ,\gamma )af(\beta ,\gamma )^{-1} = \Theta _{\beta \gamma }\circ \Theta ^{-1}_\beta \circ \Theta ^{-1}_\gamma (a)\). Conversely, using this equation we get \(f(\beta ,\gamma )\Theta _\gamma (b) = \Theta _{\beta \gamma }(\Theta ^{-1}_\beta (b))f(\beta ,\gamma )\), hence the assertion (iii) follows. \(\square \)
Corollary 22
If G is an abelian group then \(K\times ^\Gamma G\) is a nuclear extension of G by K if and only if \(\Gamma _{\sigma ,\tau }(s) = f(\sigma ,\tau )\Theta _\tau (s)\) and \(\Theta :K\rightarrow \mathrm {Aut}(G)\) is an anti-homomorphism.
Corollary 23
(Drápal and Vojtěchovský [8] Theorem 2.2.). Let G be an abelian group and K, L loops. Then the following conditions are equivalent:
-
1.
L is a nuclear extension of G by K,
-
2.
L is isomorphic to the Bruck extension \(K\times ^\triangledown G\) with \(\triangledown _{\sigma ,\tau }(s,t) = s\varphi _\sigma (t)f(\sigma ,\tau )\), where \(f:K\times K\rightarrow G\) fulfils \(f(\epsilon ,\tau ) = f(\sigma ,\epsilon ) = e\) and \(\varphi :K\rightarrow \mathrm {Aut}(G)\) is a homomorphism.
Proof
According to Theorem 7 \(K\times ^\triangledown G\) is isomorphic to the Albert extension \(K\times ^{\triangledown ^*}N\) determined by \(\triangledown ^*_{\sigma ,\tau }(s,t) = \varphi _{\sigma \tau }^{-1}( \varphi _\sigma (s)\,\varphi _\sigma (\varphi _\tau (t))\,f(\sigma ,\tau )) = f(\sigma ,\tau )\,\varphi _{\tau }^{-1}(s)\,b\), where \(\varphi _\sigma \) is the map \(x\mapsto \triangledown _{\sigma ,\epsilon }(e,x)\), \(\sigma \in K\). Putting \(\Theta = \varphi ^{-1}\) we get the assertion. \(\square \)
2.5 Right Nuclear Extensions with Left or Right Inverse Property
Let \(K\times ^\Gamma G\) be a right nuclear Albert extension of the group G by the group K. In the following we investigate the fulfilment of the left, respectively right inverse property in \(K\times ^\Gamma G\) with the additional condition that the left, respectively right inverses are of the form \((\alpha ^{-1},a^{-1})\).
Let \(\pi :K\times K\rightarrow K\times K\) be the involutory permutation \(\pi (\alpha ,\beta ) = (\alpha ^{-1},\alpha \beta )\). Define the action of \(\pi \) on \(\mathrm {Sym}(G)\) by \(\varphi ^\pi (g) = \varphi (g^{-1})^{-1}\), \(\varphi \in \mathrm {Sym}(G)\), \(g\in G\).
Lemma 24
A right nuclear Albert extension \(K\times ^\Gamma G\) has the left inverse property with left inverses \((\alpha ^{-1},a^{-1})\), \(\alpha \in K\), \(a\in G\), if and only if \(\Gamma \) is equivariant under the action of \(\pi \).
Proof
\((\alpha ^{-1},a^{-1})\) is the left inverse of \((\alpha ,a)\) if and only if \(\Gamma _{\alpha ^{-1},\alpha \beta }(a^{-1})\Gamma _{\alpha ,\beta }(a) = e\), or equivalently
holds for any \(\alpha ,\beta \in K\), \(g\in G\). \(\square \)
Clearly, the set \(\Xi = \{(\sigma ,\epsilon ),\; \sigma \in K\}\cup \{(\sigma ^{-1},\sigma ),\; \sigma \in K\}\) consists of orbits \(\{(\sigma ^{-1},\sigma ),(\sigma ,\epsilon )\},\; \sigma \in K\}\) of the group \(\Pi \) generated by \(\pi \). The following construction yields a large class of right nuclear Albert extensions having the left inverse property.
Example 25
Define the map \(\Gamma :K\times K\rightarrow \mathrm {Sym}(G)\) by \(\Gamma _{\alpha ^{-1},\alpha } = \Gamma _{\alpha ,\epsilon } = \mathrm {Id}\) on \(\Xi \). Choose the value \(\Gamma _{\sigma ,\tau }\in \mathrm {Sym}(G)\) for an element of any orbit of the group \(\Pi \) in \(K\times K\setminus \Xi \) arbitrarily and determine the map \(\Gamma \) assuming that \(\Gamma \) is equivariant under \(\Pi \). The obtained right nuclear Albert extensions \(K\times ^\Gamma G\) are neither middle nor left nuclear, if some values of \(\Gamma \) are not belonging to the set
These examples show that there are many right nuclear Albert extensions having the left inverse property which are neither middle nor left nuclear. In contrast to the left inverse property the right inverse property is rather restrictive for right nuclear Albert extensions.
Let \(\rho :K\times K\rightarrow K\times K\) be the involutory permutation \(\rho (\alpha ,\beta ) = (\alpha \beta ,\beta ^{-1})\). Define the action of \(\rho \) on \(\mathrm {Sym}(G)\) by \(\varphi ^\rho = \varphi ^{-1}\), \(\varphi \in \mathrm {Sym}(G)\).
Lemma 26
A right nuclear Albert extension \(K\times ^\Gamma G\) has the right inverse property with right inverses \((\alpha ^{-1},a^{-1})\), \(\alpha \in K\), \(a\in G\), if and only if \(\Gamma _{\alpha ,\beta }(g) = f(\alpha ,\beta )g\) and \(\Gamma \) is equivariant under the action of \(\rho \).
Proof
\((\beta ^{-1},b^{-1})\in K\) is the right inverse of \((\beta ,b)\) if and only if for any \((\alpha ,a)\) we have \(\Gamma _{\alpha \beta ,\beta ^{-1}}(\Gamma _{\alpha ,\beta }(a)b) = ab\), or equivalently \(\Gamma _{\alpha ,\beta }(a)b = \Gamma _{\alpha \beta ,\beta ^{-1}}^{-1}(ab)\). Hence
consequently \(\Gamma _{\alpha ,\beta }(b) = \Gamma _{\alpha ,\beta }(e b) = \Gamma _{\alpha \beta ,\beta ^{-1}}^{-1}(eb) = \Gamma _{\alpha ,\beta }(e)b = f(\alpha ,\beta )b\). Moreover the condition (18) yields \(f(\alpha \beta ,\beta ^{-1}) = f(\alpha ,\beta )^{-1}\). Conversely, \(\Gamma _{\alpha ,\beta }(b) = f(\alpha ,\beta )b\) satisfies (18) if \(f(\alpha \beta ,\beta ^{-1}) = f(\alpha ,\beta )^{-1}\), which proves the assertion. \(\square \)
Corollary 27
A right nuclear Albert extension \(K\times ^\Gamma G\) having the right inverse property with right inverses \((\alpha ^{-1},a^{-1})\), \(\alpha \in K\), \(a\in G\), is middle nuclear, too.
3 Schreier Extensions
In the following we will investigate right and middle nuclear Albert extensions determined by a map \(\Gamma : K\times K\rightarrow \mathrm {Sym}(G)\). According to Theorem 21 (i) in this case the map \(\Gamma \) has the form \(\Gamma _{\sigma ,\tau }(s) = f(\sigma ,\tau )\Theta _\tau (s)\), where \(\Theta _\tau \in \mathrm {Aut}(G)\) for any \(\tau \in K\).
Definition 28
A right and middle nuclear Albert extension is called Schreier extension. A Schreier extension determined by the map \(\Gamma _{\sigma ,\tau }(s) = f(\sigma ,\tau )\Theta _\tau (s)\) will be denoted by \(K\times _f^\Theta G\).
We notice that the multiplication of Schreier extensions have the same expression as in Schreier theory of group extensions. The smallest Schreier extensions are described in Propositions 14 and 16.
Remark 29
The non-associative Schreier extensions of order 6 of a non-trivial subgroup are the extensions of a subgroup of order 2 and a unique extension of a subgroup of order 3 isomorphic to the loop \(\mathcal {L}(0,0,1,1)\).
It is well known from the classical theory of group extensions that a Schreier extension \(K\times _f^\Theta G\) is a group if and only if K is associative and the relations
as well as the identities
are satisfied, (cf. [22], §48).
Example 25 shows that there are many right nuclear, but neither middle nor left nuclear Albert extensions \(K\times ^\Gamma G\) with left inverse property. In contrast to this, we have
Lemma 30
Any Schreier extension \(K\times _f^\Theta G\) having the left inverse, the left alternative or the flexible property is nuclear.
Proof
It follows from [29] Propositions 3.7, 3.8, 3.10 that any Schreier extension \(K\times _f^\Theta G\) having the left inverse property satisfies the identity (19), hence \(K\times _f^\Theta G\) is also left nuclear, [c.f. Theorem 21 (iii)]. \(\square \)
Definition 31
A Schreier extension \(K\times _f^\Theta G\) is called automorphism-free if \(\Theta _\sigma = \mathrm {Id}\) for all \(\sigma \in K\), respectively factor-free if \(f(\sigma ,\tau ) = e\) for all \(\sigma , \tau \in K\).
Corollary 32
An automorphism-free Schreier extension \(K\times _f^\mathrm {Id} G\) is nuclear if and only if all values of the function f are contained in the centre of G.
These corollaries allow to construct examples of Schreier extensions which are not left nuclear.
3.1 Non-nuclear Schreier Extensions Satisfying the Right Bol Identity
According to Lemma 30 a Schreier extensions \(K\times _f^\Theta G\) satisfying some weak-associativity properties are nuclear. Since the left Bol property is much stronger, this observation is valid for Schreier extensions with the left Bol identity. In contrast to this, it is possible to provide large classes of examples of right Bol non-nuclear Schreier extensions. We will use an extension method of Bol loops, called Scheerer extension, developed for classification of compact (left) Bol loops in [28], pp. 42–52.
Let \(\mathcal {G}_r(K)\) be the group generated by the set \(\mathcal {P} = \{\rho _\sigma ,\; \sigma \in K\}\) of right translations of the loop K. The stabilizer of the identity element \(\epsilon \in K\) in \(\mathcal {G}_r(K)\) is the right inner mapping group \(\mathcal {H}_r(K)\) of K generated by the maps \(\rho ^{-1}_{\tau \sigma } \rho _\sigma \rho _\tau : K\rightarrow K\), \(\sigma , \tau \in K\), (cf. the analogous assertion for the left inner mapping group in [28], Lemma 1.31). The set \(\mathcal {P}\) of right translations is a right transversal to \(\mathcal {H}_r(K)\) in \(\mathcal {G}_r(K)\), we denote by \(\pi :\mathcal {G}_r(K)\rightarrow \mathcal {P}\) the map assigning to \(x\in \mathcal {G}_r(K)\) the unique element of \(\mathcal {P}\) contained in the right coset \(\mathcal {H}_r(K)x\). The multiplication on \(\mathcal {P}\) defined by \((x,y)\mapsto \pi (xy):\mathcal {P}\times \mathcal {P}\rightarrow \mathcal {P}\) defines a loop isomorphic to K (cf. [28], p. 18).
Proposition 33
Let K be a right Bol loop, \(\chi :\mathcal {H}_r(K)\rightarrow G\) a homomorphism of the right inner mapping group to the group G. The Schreier extension \(K\times _f^{\mathrm {Id}} G\) determined by
has the following properties:
-
(i)
It is a right Bol loop,
-
(ii)
It is left nuclear if and only if the image \(\chi (\mathcal {H}_r(K))\) of \(\mathcal {H}_r(K)\) is contained in the centre of G,
-
(iii)
It is a group if and only if K is a group.
Proof
The loop K is a homomorphic image of \(K\times _f^{\mathrm {Id}} G\), hence if K is a proper loop then \(K\times _f^{\mathrm {Id}} G\) is a proper loop, too. If K is a group then \(f(\tau ,\sigma ) = e\) for any \(\tau , \sigma \in K\) and \(K\times _f^{\mathrm {Id}} G\) is the direct product of groups, giving the assertion (iii). The elements \((\epsilon ,a)\), \((\beta ,b)\) and \((\gamma ,c)\) associate in \(K\times _f^{\mathrm {Id}} G\) if and only if \(\chi (\rho ^{-1}_{\beta \gamma }\rho _\gamma \rho _\beta )a = a\chi (\rho ^{-1}_{\beta \gamma } \rho _\gamma \rho _\beta )\) for all \(a\in G\) and \(\beta , \gamma \in K\), hence the assertion (ii) follows. The right Bol property of \(K\times _f^{\mathrm {Id}} G\) is equivalent to the identity
Hence the right Bol identity \(\rho _{\alpha \beta \cdot \alpha } = \rho _\alpha \rho _\beta \rho _\alpha \) in K gives the assertion (1).
Example 34
Let K be a right Bol loop with non-abelian right inner mapping group \(\mathcal {H}_r(K)\) and \(G = \mathcal {H}_r(K)\), \(\chi = \mathrm {Id}\). The Schreier extension \(K\times _f^{\mathrm {Id}} G\) defined by (21) is not nuclear and satisfies the right Bol loop identity.
Proposition 35
Let K be a right Bol loop, \(\chi : \mathcal {G}_r(K)\rightarrow G\) a homomorphism of the group generated by right translations of K to the group G. The Schreier extension \(K\times _f^{\mathrm {Id}} G\) determined by
has the following properties:
-
(i)
It is a right Bol loop,
-
(ii)
It is left nuclear if and only if the image \(\chi (\mathcal {H}_r(K))\) of \(\mathcal {H}_r(K)\subset \mathcal {G}_r(K)\) is contained in the centre of G,
-
(iii)
It is a group if and only if K is a group.
Proof
K is a homomorphic image of \(K\times _e^{\Theta }G\), hence if K is a proper loop then \(K\times _e^{\Theta }G\) is also a proper loop. If K is a group then \(K\times _e^{\Theta }G\) is a semi-direct product of groups and we get the assertion (iii). The elements \((\epsilon ,a)\), \((\beta ,b)\) and \((\gamma ,c)\) associate if and only if
Hence \(K\times _e^{\Theta }G\) is left nuclear if and only if for any \(\beta , \gamma \in K\) the generator \(\chi (\rho ^{-1}_{\beta \gamma } \rho _\gamma \rho _\beta )\) of \(\chi (\mathcal {H}_r)\) commutes with all elements of G, giving the assertion (ii). Since K satisfies the right Bol identity \(\rho _{\alpha \beta \cdot \alpha } = \rho _\alpha \rho _\beta \rho _\alpha \) the extension \(K\times _f^{\mathrm {Id}} G\) is also right Bol because the identity
holds and we obtain the assertion (i). \(\square \)
According to Sect. 1.2 in [28] the stabilizer \(\mathcal {H}_r(K)\) of the identity element \(e\in K\) in the group \(\mathcal {G}_r(K)\) does not contain any non-trivial normal subgroup of \(\mathcal {G}_r(K)\), hence \(\mathcal {H}_r(K)\) is not central in \(\mathcal {G}_r(K)\). It follows from Proposition 35 (ii) that we have the following
Example 36
Let K be a proper right Bol loop and let be \(G = \mathcal {G}_r(K)\), \(\chi = \mathrm {Id}\). The Schreier extension \(K\times _e^{\Theta } G\) defined by (22) is not nuclear and satisfies the right Bol identity.
Proposition 37
Let K be a group, \(K^\prime \) the commutator subgroup of K, and \(\varphi :K^\prime \rightarrow G\) a homomorphism. The Schreier extension \(K\times _f^{\mathrm {Id}} G\) determined by the functions
has the following properties:
-
(i)
It is a right Bol loop,
-
(ii)
It is left nuclear if and only if the image \(\varphi (K^\prime )\) of \(K^\prime \) is contained in the centre of G,
-
(iii)
It is a group if and only if the homomorphism \(\varphi \) is invariant under the conjugation of \(K^\prime \) by elements of K.
Proof
The elements \((\alpha ,a)\), \((\beta ,b)\) and \((\gamma ,c)\) of \(K\times _f^{\mathrm {Id}} G\) associate if and only if
for any \(\alpha , \beta , \gamma \in K\) and \(a\in G\). Consequently \(K\times _f^{\mathrm {Id}} G\) is left nuclear if and only if (24) is an identity for \(\alpha = \epsilon \), hence the assertion (ii) follows. Moreover \(K\times _f^{\mathrm {Id}} G\) is a group if and only if it is left nuclear and the identity
holds. Hence \(K\times _f^{\mathrm {Id}} G\) is a group if and only if \(\varphi (\alpha ^{-1}\xi \alpha ) = \varphi (\xi )\) for any \(\alpha , \xi \in K\), giving the assertion (iii).
We have
hence the assertion (i) is true. \(\square \)
Example 38
Let K be a group with non-abelian commutator subgroup \(K^\prime \) and let be \(G = K^\prime \), \(\varphi = \mathrm {Id}\). The Schreier extension \(K\times _f^{\mathrm {Id}} K^\prime \) determined by (23) is not nuclear and satisfies the right Bol loop identity.
Proposition 39
Let K and G be groups and \(\varphi :K\rightarrow G\) a homomorphism. The Schreier extension \(K\times _e^{\Theta } G\) defined by the functions
is a right Bol loop. Then the following conditions are equivalent:
-
(i)
\(K\times _e^{\Theta } G\) is left nuclear,
-
(ii)
The image \(\varphi (K^\prime )\) of the commutator subgroup \(K^\prime \subset K\) is contained in the centre of G,
-
(iii)
\(K\times _f^{\mathrm {Id}} G\) is a group.
Proof
The elements \((\alpha ,a), (\beta ,b), (\gamma ,c)\in K\times _e^{\Theta } G\) associate if and only if
Since these expressions are independent of \(\alpha \in K\) the conditions (i), (ii) and (iii) are equivalent. Moreover we have
and
Hence \(K\times _e^{\Theta } G\) is a right Bol loop. \(\square \)
We obtain the following
Example 40
Let K be a group with non-abelian commutator subgroup and let be \(G = K\) and \(\varphi = \mathrm {Id}\). The Schreier extension \(K\times _e^{\Theta } K\) determined by (25) is not nuclear and satisfies the right Bol identity.
3.2 Schreier Decompositions
Definition 41
An Albert decomposition of a loop L with respect to its middle and right nuclear normal subgroup G is called a Schreier decomposition of L.
For a data triple \((G,\kappa ,\Sigma )\) of a Schreier decomposition of L we have the expressions
where the maps \(\mathrm {T}_x:G\rightarrow G\), \(x\in L\), defined by \(g\mapsto x\backslash gx\), are automorphisms of G. If \(r\in G\) then \(\mathrm {T}_r\) is the inner automorphism \(\iota _r(t) = rtr^{-1}\), \(r,t\in G\).
Lemma 42
The automorphisms \(\mathrm {T}_{xr}\) and \(\mathrm {T}_{rx}\) of G with \(x\in L\) and \(r\in G\) can be decomposed as
Proof
Since s and r belong to \(\mathcal {N}_r(L)\), we have
hence the first assertion is true. Similarly, the second assertion follows from
since \(s\in \mathcal {N}_r(L)\) and \(\mathrm {T}_x(s)\), \(r\in \mathcal {N}_m(L)\). \(\square \)
Corollary 43
The map \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) induces a map
where \(\mathrm {Inn}(G)\) denotes the group of inner automorphisms of G.
Theorem 44
The image of the map \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) consists of inner automorphisms if and only if there exists a left transversal \(\Sigma \) of L / G contained in the commutant \(\mathcal {C}_L(G)\) of G.
Proof
Assume that for any \(x\in L\) the map \(\mathrm {T}_x\) is inner automorphism. Let \(\Sigma \) be a left transversal of L / G and \(g:\Sigma \rightarrow G\) a map satisfying \(g(e) = e\) and \(\mathrm {T}_x = \iota _{g(x)}\) for any \(x\in \Sigma \). Clearly, the set \(\{x\cdot g(x)^{-1};\; x\in \Sigma \}\subset C_L(G)\) is a left transversal of L / G. According to Lemma 42,
and hence \(\Sigma ^*\subset \mathcal {C}_L(G)\). Conversely, let \(\Sigma \) be a left transversal of L / G such that \(\mathrm {T}_x = \mathrm {Id}_G\) for all \(x\in \Sigma \). Any element of L is a product \(x\cdot r\) with \(x\in \Sigma \), \(r\in G\) and hence Lemma 42 yields that \(\mathrm {T}_{x\cdot r} = \mathrm {T}_x\circ \iota _r = \iota _r\), i.e. \(\mathrm {T}_{x\cdot r}\) is inner automorphism of G. \(\square \)
Lemma 45
The mapping \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) is a homomorphism if and only if G is nuclear.
Proof
For any \(s\in G\), \(x, y\in L\) we have \(s\in \mathcal {N}_r(L)\), \(\mathrm {T}_y(s)\in \mathcal {N}_m(L)\) and hence
It follows that \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) is a homomorphism if and only if for any \(x,y \in L,\; s\in G\) one has \(\mathrm {T}_x(\mathrm {T}_y(s))x\cdot y = \mathrm {T}_x(\mathrm {T}_y(s))\cdot xy\). Since \(\mathrm {T}_x,\; \mathrm {T}_y:G\rightarrow G\) are bijective maps, the map \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) is a homomorphism if and only G is left nuclear. \(\square \)
It follows from Proposition 30 the following
Corollary 46
The map \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) is a homomorphism if L satisfies one of the following conditions:
-
(i) left inverse property,
-
(ii) left alternative,
-
(iii) flexible.
According to Proposition 3.2.(i) in [29] the normal subgroup \(\{\epsilon \}\times G\) of a Schreier extension \(K\times _f^\Theta G\) is nuclear if and only if the maps \(\Theta \) and f satisfy the condition (19). Hence we have
Corollary 47
The map \(\mathrm {T}|_{\{\epsilon \}\times G} : K\times _f^\Theta G\rightarrow \mathrm {Aut}(\{\epsilon \}\times G)\) is a homomorphism if and only if the Schreier extension \(K\times _f^\Theta G\) satisfies condition (19).
3.3 Properties of Schreier Decompositions
Theorem 48
A loop L has an automorphism-free Schreier decomposition with respect to a middle and right nuclear normal subgroup G if and only if one of the following equivalent conditions is fulfilled:
-
(A)
the image of the map \(\mathrm {T}:L\rightarrow \mathrm {Aut}(G)\) consists of inner automorphisms,
-
(B)
there exists a left transversal of L / G which is contained in the commutant \(\mathcal {C}_L(G)\) of G in L. (cf. Theorem 4. [31]).
Proof
Let \((G,\kappa ,\Sigma )\) be a data triple for Schreier decomposition of L and let \(l:K\rightarrow L\) be the map \( l_\sigma = \Sigma \cap \kappa (\sigma )\). The Schreier extension \(\mathcal {L}(G,\kappa ,\Sigma )\) corresponding to \((G,\kappa ,\Sigma )\) is automorphism-free if and only if \(\mathrm {T}_{l_\sigma } = \mathrm {Id}_G\) for any \(\sigma \in K\), or equivalently, the left transversal \(\Sigma = \{l_\sigma ;\; \sigma \in K\}\) of L / G is contained in the commutant \(\mathcal {C}_L(G)\) of G. Hence we obtain the assertion (B). The equivalence of conditions (A) and (B) is proved in Theorem 44. \(\square \)
Theorem 49
A loop L has a factor-free Schreier decomposition with respect to a middle and right nuclear normal subgroup G if and only if L contains a left transversal \(\Sigma \) of L / G which is a subloop of L isomorphic to L / G.
Proof
Using the formula \( f(\sigma ,\tau ) = l_{\sigma \tau }\backslash l_\sigma l_\tau \) in (27) we obtain that the Schreier extension defined by (27) is factor-free if and only if the map \(l:K\rightarrow L\) satisfies \(l_\sigma l_\tau = l_{\sigma \tau }\) for any \(\sigma ,\tau \in K\), and hence \(l:K\rightarrow L\) is a loop homomorphism. It follows that L has a factor-free Schreier decomposition if and only if there exists a left transversal \(\Sigma \) of L / G which is a subloop of L. \(\square \)
The following assertion shows the change of the Schreier decomposition of a loop L with respect to a normal subgroup G, if we alter the underlying isomorphism.
Proposition 50
Let \(K\times _f^\Theta G\) be a Schreier decomposition of a loop L with underlying isomorphism \(\kappa :K\rightarrow L/G\) and let \(\mu \) be automorphism of K. The Schreier extension \(K\times _{\tilde{f}}^{\widetilde{\Theta }}G\) is a Schreier decomposition of L with underlying isomorphism \(\kappa \circ \mu :K\rightarrow L/G\) if the functions \(\widetilde{\Theta }:K\rightarrow \mathrm {Aut}(G)\), \(\tilde{f}:K\times K\rightarrow G\) are expressed by
Proof
We denote the multiplication of \(K\times _{\tilde{f}}^{\widetilde{\Theta }} G\) by \(\tilde{\cdot }\) and define the map
Since
the map \(\mathcal {M}:K\times _{\tilde{f}}^{\widetilde{\Theta }}G\rightarrow K\times _f^\Theta G\) is isomorphism inducing the identity on the subgroup \(\{\epsilon \}\times G\). It follows that \(\mathcal {F}\circ \mathcal {M}:K\times _{\tilde{f}}^{\widetilde{\Theta }} G\rightarrow L\) is isomorphism extending the isomorphism \(\mathcal {I}:\{\epsilon \}\times G\rightarrow G\), \(\mathcal {I}(\epsilon ,t) = t\). Hence \(K\times _{\tilde{f}}^{\widetilde{\Theta }} G\) is a Schreier decomposition of L with underlying isomorphism \(\tilde{\kappa }:K\rightarrow L/G\) defined by
satisfying \(\tilde{\kappa }(\sigma ) = \kappa \circ \mu (\sigma )\). \(\square \)
Now, we investigate the change of a Schreier decomposition, if we alter the left transversal \(\Sigma \) in the data triple \((G,\kappa ,\Sigma )\).
Theorem 51
Let \(n:K\rightarrow G\) be a function with \(n(\epsilon ) = e\) and consider the left transversal
The maps \(\bar{\Theta }:K\rightarrow \mathrm {Aut}(G)\) and \(\bar{f}:K\times K\rightarrow G\) of the Schreier extension \(K\times _{\bar{f}}^{\bar{\Theta }} G\) corresponding to the data triple \((G,\kappa ,\bar{\Sigma })\) for the Schreier decomposition of L can be expressed as
Proof
We compute the maps \(\bar{\Theta }_{\sigma } = \mathrm {T}^{-1}_{\bar{l}_\sigma } \; \text {and}\; \bar{f}(\sigma ,\tau ) = \bar{l}_{\sigma \tau }\backslash (\bar{l}_\sigma \bar{l}_\tau )\) corresponding to the left transversal (29). Since \( n(\sigma )\) belongs to the right and to the middle nucleus, the product \(l_\sigma \,n(\sigma )\cdot \bar{\Theta }_{\sigma }(t) = t\cdot l_\sigma \,n(\sigma )\) equals to
Hence
Similarly, using that \(n(\sigma )\) belongs to the middle and \(n(\tau )\) to the right nucleus, the product
can be written as
Since \(\Theta _{\tau }(n(\sigma ))\,n(\tau )\) is a right nuclear element, the expression (32) equals to \((l_\sigma l_\tau )\cdot \Theta _{\tau }(n(\sigma ))\,n(\tau )\). Replacing \(l_\sigma l_\tau = l_{\sigma \tau }\cdot \big ( n(\sigma \tau ) \,n(\sigma \tau )^{-1}\cdot f(\sigma ,\tau )\big )\) and using that \( n(\sigma \tau )\) and \(n(\sigma \tau )^{-1}\) belong to the middle nucleus, we obtain for the expression (32) that
and hence
Using Eqs. (31) and (33) we obtain the assertion. \(\square \)
3.4 Equivalent Schreier Extensions
Let K be a loop, G a group and let \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) be Schreier extensions.
Definition 52
The Schreier extensions \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) are called equivalent in a wider sense if there exists an extension L of G by K such that \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) are Schreier decompositions of L.
Lemma 53
The Schreier extensions \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) are equivalent in a wider sense if and only if there exists an isomorphism \(K\times _f^\Theta G\rightarrow K\times _{f^\prime }^{\Theta ^\prime } G\) fixing all elements of \(\{\epsilon \}\times G\subset K\times G\).
Proof
Let \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) be Schreier decompositions of a loop L and let \(\mathcal {F}:K\times _f^\Theta G\rightarrow L\) and \(\mathcal {F}^\prime :K\times _{f^\prime \Theta ^\prime } G\rightarrow L\) be the isomorphisms extending the isomorphism \(\mathcal {I}:\{\epsilon \}\times G\rightarrow G\) defined by \(\mathcal {I}(\epsilon ,t) = t\). Then the isomorphism \(\mathcal {F}^{\prime -1}\circ \mathcal {F}: K\times _f^\Theta G\rightarrow K\times _{f^\prime }^{\Theta ^\prime } G\) fixes all elements of \(\{\epsilon \}\times G\). Conversely, assume that \(\psi : K\times _f^\Theta G\rightarrow K\times _{f^\prime }^{\Theta ^\prime } G\) is isomorphism fixing all elements of \(\{\epsilon \}\times G\). According to Lemma 13 there is a loop L and an isomorphisms \(\mathcal {F}:K\times _f^\Theta G\rightarrow L\) extending the isomorphism \(\mathcal {I}:\{\epsilon \}\times G\rightarrow G\). Clearly, the isomorphism \(\mathcal {F}\circ \psi ^{-1}: K\times _{f^\prime }^{\Theta ^\prime } G\rightarrow L\) extends the isomorphism \(\mathcal {I}:\{\epsilon \}\times G\rightarrow G\), hence \(K\times _{f^\prime }^{\Theta ^\prime } G\) is also a Schreier decomposition of L. \(\square \)
Definition 54
The Schreier extensions \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) are called equivalent if there exists an extension L of G by K such that \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) are Schreier decompositions of L with respect to G with the same underlying isomorphism \(\kappa :K\rightarrow L/G\).
Theorem 55
Let \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) be Schreier extensions.
-
(A)
\(K\times _{f^\prime }^{\Theta ^\prime } G\) is equivalent to \(K\times _f^\Theta G\) if and only if there is a function \(n:K\rightarrow G\) with \(n(\epsilon ) = e\) such that \(\Theta ^\prime \) and \(f^\prime \) are expressed by
$$\begin{aligned} \Theta ^\prime _{\sigma } = \iota ^{-1}_{n(\sigma )}\circ \Theta _{\sigma },\quad \text {and}\quad f^\prime (\sigma ,\tau ) = n(\sigma \tau )^{-1}f(\sigma ,\tau ) \Theta _{\tau }(n(\sigma ))\,n(\tau ). \end{aligned}$$(34) -
(B)
\(K\times _{f^\prime }^{\Theta ^\prime } G\) is equivalent in a wider sense to \(K\times _f^\Theta G\) if and only if there is a function \(n:K\rightarrow G\) with \(n(\epsilon ) = e\), and an automorphism \(\mu \in \mathrm {Aut}(K)\), such that \(\Theta ^\prime \) and \(f^\prime \) are expressed by
$$\begin{aligned} \Theta ^\prime _{\sigma } = \iota ^{-1}_{n\circ \mu (\sigma )}\circ \Theta _{\mu (\sigma )}, \end{aligned}$$and
$$\begin{aligned} f^\prime (\sigma ,\tau ) = \big (n\circ \mu (\sigma \tau )\big )^{-1}f(\mu (\sigma ),\mu (\tau )) \Theta _{\mu (\tau )}\big (n\circ \mu (\sigma )\big )\,n\circ \mu (\tau ). \end{aligned}$$
Proof
For the equivalent \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) there exists a loop L such that \(K\times _f^\Theta G\) and \(K\times _{f^\prime }^{\Theta ^\prime } G\) are Schreier decompositions of L with the same underlying isomorphism \(\kappa :K\rightarrow L/G\). Hence the assertion (A) follows from Theorem 51. If \(K\times _{f^\prime }^{\Theta ^\prime } G\) is equivalent in a wider sense to \(K\times _f^\Theta G\), then according to Proposition 50 a change of the underlying isomorphism \(K\rightarrow L/G\) of \(L(T^\prime ,f^\prime )\) by an automorphism \(\mu \) of K we obtain equivalent Schreier extensions. Hence the assertion (A) implies the assertion (B). \(\square \)
Now, we apply Theorem 55 (A) to Examples 38 and 40 in the case if K is a perfect group, i.e. K equals its own commutator subgroup.
Proposition 56
Let K be a perfect group. The Schreier extensions \(K\times _f^{\mathrm {Id}} K\), respectively \(K\times _e^{\Theta } K\) defined by
respectively by
are equivalent right Bol loops such that their normal subgroup \(\{\epsilon \}\times G\) is not left nuclear.
Proof
We denote \(f(\sigma ,\tau ) = \tau ^{-1}\sigma ^{-1}\tau \sigma \), \(\Theta _\tau =\mathrm {Id}\) and \(f^\prime (\sigma ,\tau ) = e\), \(\Theta ^\prime _\sigma = \iota _{\sigma }\). Define \(n(\sigma )=\sigma ^{-1}\). Putting these functions into Eq. (34) we obtain the assertion. \(\square \)
References
Albert, A.A.: Quasigroups II. Trans. A.M.S. 55, 401–419 (1944)
Birkenmeier, G.F., Davis, C.B., Reeves, K.J., Xiao, S.: Is a semidirect product of groups necessarily a group? Proc. Am. Math. Soc. 118, 689–692 (1993)
Birkenmeier, G.F., Xiao, S.: Loops which are semidirect products of groups. Commun. Algebra 23, 81–95 (1995)
Bruck, R.H.: Some results in the theory of linear non-associative algebras. Trans. A.M.S. 56, 141–199 (1944)
Bruck, R.H.: Simple quasigroups. Bull. A.M.S. 50, 769–781 (1944)
Chein, O.: Examples and methods of construction, Chapter II. In: Chein, O., Pflugfelder, H.O., Smith, J.D.H. (eds.) Quasigroups and Loops: Theory and Applications, pp. 27–93. Heldermann Verlag, Berlin (1990)
Daly, D., Vojtěchovský, P.: Enumeration of nilpotent loops via cohomology. J. Algebra 322, 4080–4098 (2009)
Drápal, A., Vojtěchovský, P.: Explicit constructions of loops with commuting inner mappings. Eur. J. Combin. 29, 1662–1681 (2008)
Eilenberg, S., MacLane, S.: Algebraic cohomology groups and loops. Duke Math. J. 14, 435–463 (1947)
Figula, Á., Strambach, K.: Affine extensions of loops. Abh. Math. Sem. Univ. Hambg. 74, 151–162 (2004)
Figula, Á., Strambach, K.: Loops which are semidirect products of groups. Acta Math. Hung. 114, 247–266 (2007)
Greer, M., Raney, L.: Moufang semidirect products of loops with groups and inverse property extensions. Comment. Math. Univ. Carol. 55, 411–420 (2014)
Hora, J., Jedlička, P.: Nuclear semidirect product of commutative automorphic loops. J. Algebra Appl. 13(1), 1350077 (2014)
Jedlička, P.: Odd order semidirect extensions of commutative automorphic loops. Comment. Math. Univ. Carol. 55, 447–456 (2014)
Jedlička, P., Kinyon, M.K., Vojtěchovský, P.: Constructions of commutative automorphic loops. Commun. Algebra 38, 3243–3267 (2010)
Jimenez, R., Meléndez, Q.M.: On loop extensions satisfying one single identity and cohomology of loops. Commun. Algebra 45, 3667–3690 (2017)
Johnson, K.W., Leedham-Green, C.R.: Loop cohomology. Czechoslov. Math. J. 40(115), 182–194 (1990)
Kiechle, H., Nagy, G.P.: On the extension of involutorial Bol loops. Abh. Math. Sem. Univ. Hambg. 72, 235–250 (2002)
Kinyon, M.K., Jones, O.: Loops and semidirect products. Commun. Algebra 28, 4137–4164 (2000)
Kinyon, M.K., Kunen, K., Phillips, J.D., Vojtěchovský, P.: The structure of automorphic loops. Trans. A.M.S. 368, 8901–8927 (2016)
Kinyon, M.K., Phillips, J.D., Vojtěchovský, P.: C-loops; extensions and constructions. J. Algebra Appl. 6, 1–20 (2007)
Kurosh, A.G.: The Theory of Groups, vol. 2. Chelsea Publishing Co., New York (1956)
Lafuente, J.P.: Parametrizing group extension loops. Commun. Algebra 28, 2783–2800 (2000)
Lal, R., Sharma, B.K.: Pseudo-cohomology of general extensions. Homol. Homot. Appl. 12, 147–165 (2010)
Nagy, G.P.: Algebraic commutative Moufang loops. Forum Math. 15, 37–62 (2003)
Nagy, G.P., Vojtěchovský, P.: The Moufang loops of order 64 and 81. J. Symb. Comput. 42(9), 871–883 (2007)
Nagy, P.T., Plaumann, P.: Bruck decomposition for endomorphisms of quasigroups. J. Gen. Lie Theory Appl. 3, 191–196 (2009)
Nagy, P.T., Strambach, K.: Loops in Group Theory and Lie Theory, Expositions in Mathematics 35. Walter de Gruyter, Berlin (2002)
Nagy, P.T., Strambach, K.: Schreier loops. Czechoslov. Math. J. 58, 759–786 (2008)
Nagy, P.T., Stuhl, I.: Right nuclei of quasigroup extensions. Commun. Algebra 40, 1893–1900 (2012)
Nagy, P.T., Stuhl, I.: Quasigroups arisen by right nuclear extensions. Comment. Math. Univ. Carol. 53, 391–395 (2012)
Nishigôri, N.: On loop extensions of groups and M-cohomology groups I. J. Sci. Hiroshima Univ. 27, 151–165 (1963)
Nishigôri, N.: On loop extensions of groups and M-cohomology groups II. J. Sci. Hiroshima Univ. 29, 17–26 (1965)
Schreier, O.: Über die Erweiterung von Gruppen I. Monatshefte Math. 34, 165–180 (1926)
Schreier, O.: Über die Erweiterung von Gruppen II. Abh. Math. Sem. Univ. Hambg. 4, 321–346 (1926)
Smith, J.D.H.: An Introduction to Quasigroups and Their Representations. Studies in Applied Mathematics. Chapman & Hall, Boca Raton (2007)
Acknowledgements
Open access funding provided by Óbuda University (OE).
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Karl Strambach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Nagy, P.T. Nuclear Properties of Loop Extensions. Results Math 74, 100 (2019). https://doi.org/10.1007/s00025-019-1026-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-019-1026-7