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

DOI10.1016/J.JALGEBRA.2005.07.011zbMath1101.20046arXivmath/0701715OpenAlexW2026760906MaRDI QIDQ2575681

Yanyan Li

Publication date: 6 December 2005

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

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

zbMATH Keywords

loopsequational reasoninglattices of varietiesvarieties of quasigroupsquasigroup identitiesidentities of Bol-Moufang typemodel buildersquasigroups of Bol-Moufang typevarieties of commutative quasigroups

Mathematics Subject Classification ID

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

Related Items (12)

Complete classification of isotopically invariant varieties of analytic loops defined by regular identities of length four ⋮ EVANS' NORMAL FORM THEOREM REVISITED ⋮ Nuclear Identification of Some New Loop Identities of Length Five ⋮ Generalized right central loops. ⋮ Symmetric linear operator identities in quasigroups ⋮ Unnamed Item ⋮ Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction ⋮ Symmetric implication zroupoids and identities of Bol-Moufang type ⋮ The existence of Buchsteiner and conjugacy-closed quasigroups. ⋮ Unnamed Item ⋮ Symmetric implication zroupoids and weak associative laws ⋮ Commutative idempotent groupoids and the constraint satisfaction problem.

Uses Software

• Mace4
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasigroups, loops, and associative laws
• Automated deduction in equational logic and cubic curves
• Moufang quasigroups
• The varieties of loops of Bol-Moufang type.
• Bol Loops

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