The weakest nontrivial idempotent equations

DOI10.1112/BLMS.12097MaRDI QIDQ4601484zbMATH OpenOpenAlexFDO

Authors Miroslav Olšák

Publication date 16 January 2018

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

equational theoryMal'cev condition

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Abstract: An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is implied by any nontrivial idempotent equational condition.

Recommendations

• Taylor term does not imply any nontrivial linear one-equality Maltsev condition
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• On finite Taylor algebras
• Pseudo‐loop conditions
• Idempotent Mal'cev conditions and 2-uniform congruences

Cited in

(23)

• Supernilpotence need not imply nilpotence
• Loop conditions for strongly connected digraphs
• Walter Taylor's contributions to universal algebra
• Idempotent Mal'cev conditions and 2-uniform congruences
• Free-lattice functors weakly preserve epi-pullbacks
• Pseudo‐loop conditions
• Varieties defined by basic equations have the amalgamation property
• \( \omega \)-categorical structures avoiding height 1 identities
• Taylor is prime
• Deciding the existence of minority terms
• Loop conditions
• Taylor's modularity conjecture and related problems for idempotent varieties
• Random models of idempotent linear Maltsev conditions. I. Idemprimality
• Cube term blockers without finiteness
• Mitschke's theorem is sharp
• Absorption in universal algebra and CSP
• Commutator equations
• The local loop lemma
• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• Relative Maltsev definability of some commutator properties
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Maltsev conditions for general congruence meet-semidistributive algebras
• Taylor term does not imply any nontrivial linear one-equality Maltsev condition

This page was built for publication: The weakest nontrivial idempotent equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601484)