IMI/Publicaţii/QRS/Ediţii/QRS v.15, n.2 (18), 2007/

Short identities implying a quasigroup is a loop or group

Authors: N. C. Fiala


We find all identities in product only with at most six variable occurrences that imply that a quasigroup satisfying the identity is a not necessarily trivial loop (group). These investigations were aided by the automated theorem-prover Prover9 and the model-finder Mace4.


Adobe PDF document0.21 Mb