Bol loops with a large left nucleus. (English) Zbl 1192.20051

Starting with an Abelian group \(N\) and a pair of suitable bijections, a power associative loop \(L\) is presented such that the support of \(N\) is a subloop of index 2 contained in the left nucleus of \(L\); a criterion is given when \(L\) is a group. The construction plays the key role in what follows. Possession of a unique nonidentity commutator/associator in a loop is discussed in connection with loop rings. Non-associative Bol loops whose rings in characteristic 2 are strongly right alternative (SRAR loops) are characterized, investigated, and interesting examples are given.


20N05 Loops, quasigroups
17D15 Right alternative rings
Full Text: EuDML EMIS