Quasigroups, loops, and associative laws

DOI10.1006/jabr.1996.0321zbMath0860.20053OpenAlexW2024337605MaRDI QIDQ1814982

Kenneth Kunen

Publication date: 9 April 1997

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

Full work available at URL: https://semanticscholar.org/paper/365454b64caf7048f2fff2f2afdbb16eedec98b5

zbMATH Keywords

loopsquasigroupsMACEOTTERautomated deductionassociative lawFINDERMoufang lawssize four laws

Mathematics Subject Classification ID

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

Related Items

On groupoids with Bol-Moufang type identities ⋮ Quasi-symmetric functions and the KP hierarchy ⋮ Nonassociativity à la Kleene ⋮ Ken Kunen: algebraist. ⋮ Finite loops with dihedral inner mapping groups are solvable. ⋮ Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction ⋮ Characterization of some finite groups by order and length of one conjugacy class. ⋮ Every diassociative A-loop is Moufang ⋮ Unnamed Item ⋮ Weak associativity and restricted rotation ⋮ The structure of conjugacy closed loops ⋮ 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 ⋮ The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach. ⋮ Units in quasigroups with classical Bol--Moufang type identities ⋮ Commutative idempotent groupoids and the constraint satisfaction problem. ⋮ Rectangular quasigroups and rectangular loops.