Short identities implying a quasigroup is a loop or group.

MaRDI QIDQ5453674zbMATH OpenFDO

Authors Nick C. Fiala

Publication date 3 April 2008

zbMATH Keywords

automated theorem proversaxiomsgroupsidentitiesloopsquasigroups

Mathematics Subject Classification ID

Axiomatics and elementary properties of groups (20A05) Loops, quasigroups (20N05)

Recommendations

• Quasigroups, loops, and associative laws
• When is it hard to show that a quasigroup is a loop?
• Realizations of loops and groups defined by short identities.
• Automated theorem proving in quasigroup and loop theory
• Moufang quasigroups

Cited in

(13)

• Automated reasoning and exhaustive search: Quasigroup existence problems
• Quasigroups, loops, and associative laws
• Moufang quasigroups
• AIM loops and the AIM conjecture
• Realizations of loops and groups defined by short identities.
• Corrigendum to ``Realizations of loops and groups defined by short identities.
• Automated theorem proving in quasigroup and loop theory
• Distributive groupoids are symmetric-by-medial: an elementary proof.
• Loops with abelian inner mapping groups: an application of automated deduction
• Quasigroups, units and Belousov's problem \# 18
• A still shorter axiom for trimedial quasigroups.
• Identities and generalized derivatives of quasigroups
• Rectangular quasigroups and rectangular loops.

Describes a project that uses

Uses Software

• Prover9
• Mace4

This page was built for publication: Short identities implying a quasigroup is a loop or group.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453674)