×

A scoop from groups: equational foundations for loops. (English) Zbl 1192.20058

Summary: Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain “group-like” equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only one-sided and/or the neutral element is only one-sided.

MSC:

20N05 Loops, quasigroups
20A05 Axiomatics and elementary properties of groups
03C05 Equational classes, universal algebra in model theory

Software:

SCOOP
PDFBibTeX XMLCite
Full Text: arXiv EuDML EMIS