Abstract: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.
Keywords: quasigroup identity, loop, group
AMS Subject Classification: 20N05