The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
From MaRDI portal
Publication:2575681
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. . 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.
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
Cites work
- scientific article; zbMATH DE number 47663 (Why is no real title available?)
- scientific article; zbMATH DE number 2097976 (Why is no real title available?)
- scientific article; zbMATH DE number 3273917 (Why is no real title available?)
- scientific article; zbMATH DE number 3328200 (Why is no real title available?)
- scientific article; zbMATH DE number 3350213 (Why is no real title available?)
- Automated deduction in equational logic and cubic curves
- Bol Loops
- Moufang quasigroups
- Quasigroups, loops, and associative laws
- The varieties of loops of Bol-Moufang type.
Cited in
(23)- On groupoids with Bol-Moufang type identities
- On Birkhoff's quasigroup axioms.
- scientific article; zbMATH DE number 4188098 (Why is no real title available?)
- Nuclear Identification of Some New Loop Identities of Length Five
- Loops with abelian inner mapping groups: an application of automated deduction
- Examples to Birkhoff's quasigroup axioms.
- 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)
- 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
- Quadratic level quasigroup equations with four variables. II: The lattice of varieties.
- Complete classification of isotopically invariant varieties of analytic loops defined by regular identities of length four
- Commutative and 2-divisible subvarieties of rings of Bol-Moufang type
- Symmetric implication zroupoids and weak associative laws
- scientific article; zbMATH DE number 6281575 (Why is no real title available?)
- Symmetric implication zroupoids and identities of Bol-Moufang type
- EVANS' NORMAL FORM THEOREM REVISITED
- On identities of Bol-Moufang type.
- Commutative idempotent groupoids and the constraint satisfaction problem.
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)
