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)- Nuclear Identification of Some New Loop Identities of Length Five
- 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
- On Birkhoff's quasigroup axioms.
- Quadratic level quasigroup equations with four variables. II: The lattice of varieties.
- On groupoids with Bol-Moufang type identities
- The existence of Buchsteiner and conjugacy-closed quasigroups.
- When is it hard to show that a quasigroup is a loop?
- Symmetric implication zroupoids and weak associative laws
- The varieties of rings of Bol-Moufang type
- Some varieties of loops (Bol-Moufang and non-Bol-Moufang Types)
- Loops with abelian inner mapping groups: an application of automated deduction
- Symmetric linear operator identities in quasigroups.
- Generalized right central loops.
- On identities of Bol-Moufang type.
- scientific article; zbMATH DE number 4188098 (Why is no real title available?)
- Examples to Birkhoff's quasigroup axioms.
- EVANS' NORMAL FORM THEOREM REVISITED
- Commutative idempotent groupoids and the constraint satisfaction problem.
- Symmetric implication zroupoids and identities of Bol-Moufang type
- Classification of loops of generalized Bol-Moufang type.
- Quasigroups, units and Belousov's problem \# 18
- scientific article; zbMATH DE number 6281575 (Why is no real title available?)
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)
