Finite equational bases for congruence modular varieties

DOI10.1007/BF01195263zbMath0648.08006MaRDI QIDQ1104959

Ralph McKenzie

Publication date: 1987

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

zbMATH Keywords

congruence modular variety; commutators; locally finite variety; finite axiomatizability; residually small; finite equational basis

Mathematics Subject Classification ID

08B10: Congruence modularity, congruence distributivity

Related Items

Relatively congruence modular quasivarieties of modules, A finite basis theorem for residually finite, congruence meet-semidistributive varieties, Universal algebraic methods for non-classical logics, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., Lyndon's groupoid is not inherently nonfinitely based, Nilpotent and solvable radicals in locally finite congruence modular varieties, Universal algebras, A field guide to equational logic, Bjarni Jónsson's contributions in algebra, Inherently nonfinitely based lattices, Finite basis problems and results for quasivarieties, Finite axiomatizability of congruence rich varieties, Identities and quasi-identities of pointed algebras, Neutrabelian algebras, Triangular irreducibility of congruences in quasivarieties, The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples, A finite basis theorem for difference-term varieties with a finite residual bound, COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES, A Characterization of Finitely Decidable Congruence Modular Varieties, FREGEAN VARIETIES, Embedding general algebras into modules, Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties, Unnamed Item, Commutator Theory for Relatively Modular Quasivarieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nilpotent and solvable radicals in locally finite congruence modular varieties
• An easy way to the commutator in modular varieties
• Congruence modularity is permutability composed with distributivity
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Baker's finite basis theorem
• Identities of finite algebras
• The Laws of Finite Pointed Groups
• Residually Small Varieties with Modular Congruence Lattices
• The structure of finite algebras