Realizations of Loops and Groups defined by short identities
Anthony Donald Keedwell (2009)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In a recent paper, those quasigroup identities involving at most three variables and of “length” six which force the quasigroup to be a loop or group have been enumerated by computer. We separate these identities into subsets according to what classes of loops they define and also provide humanly-comprehensible proofs for most of the computer-generated results.