The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.

DOI10.1016/J.JALGEBRA.2005.07.011zbMATH Open1101.20046arXivmath/0701715OpenAlexW2026760906MaRDI QIDQ2575681FDOQ2575681

Authors: Yanyan Li 

Publication date: 6 December 2005

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. $((xy)x)z=x(y(xz))$. Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 such varieties, determine all inclusions between them, and provide all necessary counterexamples. We also determine which of these varieties consist of loops or one-sided loops, and fully describe the varieties of commutative quasigroups of Bol-Moufang type. Some of the proofs are computer-generated.

Full work available at URL: https://arxiv.org/abs/math/0701715

Recommendations

• scientific article; zbMATH DE number 6281575
• ON QUASIVARIETIES OF GROUPS AND EQUATIONS OVER GROUPS
• Varieties of quasigroups
• Units in quasigroups with classical Bol--Moufang type identities
• scientific article; zbMATH DE number 4196290
• Varieties of quasigroups and related topics
• Quasigroups as Boolean functions, their equation systems and Gröbner bases
• scientific article; zbMATH DE number 4196289
• On the equational theories of semigroup varieties
• scientific article; zbMATH DE number 966891

zbMATH Keywords

varieties of quasigroupsloopslattices of varietiesequational reasoningquasigroup identitiesidentities of Bol-Moufang typemodel buildersquasigroups of Bol-Moufang typevarieties of commutative quasigroups

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Lattices of varieties (08B15)

Cites Work

• Title not available (Why is that?)
• Automated deduction in equational logic and cubic curves
• Title not available (Why is that?)
• Bol Loops
• Quasigroups, loops, and associative laws
• Moufang quasigroups
• The varieties of loops of Bol-Moufang type.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (23)

• On groupoids with Bol-Moufang type identities
• Title not available (Why is that?)
• On Birkhoff's quasigroup axioms.
• Nuclear Identification of Some New Loop Identities of Length Five
• Loops with abelian inner mapping groups: an application of automated deduction
• When is it hard to show that a quasigroup is a loop?
• The varieties of rings of Bol-Moufang type
• Some varieties of loops (Bol-Moufang and non-Bol-Moufang Types)
• Examples to Birkhoff's quasigroup axioms.
• Classification of loops of generalized Bol-Moufang type.
• Symmetric linear operator identities in quasigroups.
• The existence of Buchsteiner and conjugacy-closed quasigroups.
• Generalized right central loops.
• Quasigroups, units and Belousov's problem \# 18
• Commutative and 2-divisible subvarieties of rings of Bol-Moufang type
• Complete classification of isotopically invariant varieties of analytic loops defined by regular identities of length four
• Symmetric implication zroupoids and weak associative laws
• Title not available (Why is that?)
• On identities of Bol-Moufang type.
• Quadratic level quasigroup equations with four variables. II: The lattice of varieties.
• EVANS' NORMAL FORM THEOREM REVISITED
• Symmetric implication zroupoids and identities of Bol-Moufang type
• Commutative idempotent groupoids and the constraint satisfaction problem.

Uses Software

• OTTER
• Mace4

This page was built for publication: The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.

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