Short identities implying a quasigroup is a loop or group.

zbMATH Open1136.20052MaRDI QIDQ5453674FDOQ5453674

Authors: Nick C. Fiala 

Publication date: 3 April 2008

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

zbMATH Keywords

groupsautomated theorem proversloopsquasigroupsidentitiesaxioms

Mathematics Subject Classification ID

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

Cited In (10)

• Moufang quasigroups
• Automated theorem proving in quasigroup and loop theory
• Title not available (Why is that?)
• 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
• Realizations of loops and groups defined by short identities.
• Corrigendum to ``Realizations of loops and groups defined by short identities.
• Rectangular quasigroups and rectangular loops.

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)