Authors: N. C. Fiala
Abstract
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.
Fulltext

–
0.21 Mb