C-loops: extensions and constructions. (English) Zbl 1129.20043

A loop \((C,\cdot)\) is called a ‘C-loop’ if \(x(y\cdot yz)=(xy\cdot y)z\) for any \(x,y,z\in C\). Given two C-loops \(K\) and \(Q\), we say that a loop \(C\) is the ‘extension’ of \(K\) by \(Q\) if \(K\) is a normal subloop of \(C\) and \(C/K\) is isomorphic to \(Q\).
In this note the authors prove that if \(K\) is an Abelian group and \(Q\) is a C-loop then the ‘nuclear’ extension \(C\) (i.e. with \(K\leq N(C)\)) can be characterized by the existence of a C-factor set fulfilling a suitable condition. Furthermore, they discuss ‘central’ extensions, that is when \(K\) is contained in the center of the C-loop extension \(C\). For C-loops with central squares the C-factor set condition for central extensions is much simpler and this allows to construct the corresponding extension by means of a procedure illustrated in §4 which uses small blocks arising from the underlying Steiner triple system. Using this method for the extensions, the authors discuss for which Abelian group \(K\) and Steiner loop \(Q\) there is a ‘non flexible’ C-loop \(C\) with center \(K\) and \(C/K\) is isomorphic to \(Q\).
Finally they prove that the loops of signed basis elements in the standard real Cayley-Dickson algebras are C-loops.


20N05 Loops, quasigroups
17A30 Nonassociative algebras satisfying other identities
Full Text: DOI arXiv


[1] Belousov V. D., Foundations of the Theory of Quasigroups and Loops (1967)
[2] DOI: 10.1007/978-3-662-43119-1 · doi:10.1007/978-3-662-43119-1
[3] Chein O., Quasigroups and Loops: Theory and Applications (1990) · Zbl 0719.20036
[4] Fenyves F., Publ. Math. Debrecen 15 pp 235–
[5] Fenyves F., Publ. Math. Debrecen 16 pp 187–
[6] DOI: 10.1081/AGB-120027928 · Zbl 1077.20076 · doi:10.1081/AGB-120027928
[7] Kivunge B., Comment. Math. Univ. Carolinae 45 pp 295–
[8] Leong F., Proc. Amer. Math. Soc. 54 pp 32–
[9] Pflugfelder H. O., Sigma Series in Pure Mathematics 7, in: Quasigroups and Loops: Introduction (1990) · Zbl 0715.20043
[10] DOI: 10.4153/CJM-1976-118-1 · Zbl 0359.20070 · doi:10.4153/CJM-1976-118-1
[11] DOI: 10.1007/978-1-4612-4176-8 · doi:10.1007/978-1-4612-4176-8
[12] DOI: 10.1006/jabr.1995.1237 · Zbl 0841.17004 · doi:10.1006/jabr.1995.1237
[13] DOI: 10.1007/978-3-662-12622-6 · doi:10.1007/978-3-662-12622-6
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.