Short identities implying a quasigroup is a loop or group.

MaRDI QIDQ5453674zbMATH OpenFDO

Authors Nick C. Fiala

Publication date 3 April 2008

zbMATH Keywords

groupsautomated theorem proversloopsquasigroupsidentitiesaxioms

Mathematics Subject Classification ID

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

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)

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

Describes a project that uses

Uses Software

• Mace4
• Prover9

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)