Abstract
In this note, we attempt to find all shortest single product axioms for commutative Moufang loops of exponent 3. These investigations were aided by the automated theorem-prover Prover9 and the model-generator Mace4.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have