The weakest nontrivial idempotent equations

DOI10.1112/BLMS.12097zbMATH Open1414.08002arXiv1609.00531OpenAlexW3122541275MaRDI QIDQ4601484FDOQ4601484

Authors: Miroslav Olšák 

Publication date: 16 January 2018

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

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.

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

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

zbMATH Keywords

equational theoryMal'cev condition

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

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
• Varieties defined by basic equations have the amalgamation property
• Pseudo‐loop conditions
• \( \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
• Commutator equations
• Absorption in universal algebra and CSP
• The local loop lemma
• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• Relative Maltsev definability of some commutator properties
• Maltsev conditions for general congruence meet-semidistributive algebras
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• 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)