An easy test for congruence modularity
Let \(\Sigma\) be a set of identities. \(\Sigma\) is inconsistent if \(\Sigma \models x \approx y\), otherwise \(\Sigma\) is consistent. \(\Sigma\) is idempotent if for every function symbol \(F\) appearing in \(\Sigma\), it is the case that \(\Sigma \models F(x, x,..., x) \approx x\). A term \(t\) is linear if it has at most one occurrence of a function symbol. An identity \(s \approx t\) is linear if both \(s\) and \(t\) are linear. There are two well-known theorems, \textit{A. Day}'s theorem [Can. Math. Bull. 12, 167--173 (1969; Zbl 0181.02302)] and \textit{H. P. Gumm}'s theorem [Arch. Math. 36, 569--576 (1981; Zbl 0465.08005)], which each characterize congruence modularity. The authors of the paper under review describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a non-trivial congruence identity. Namely, for a set \(\Sigma\) of idempotent identities, they define the notion of a derivative, \(\Sigma '\), which is a superset of idempotent identities in the same language. One of their main results is that \(\Sigma\) axiomatizes a congruence-modular variety if the derivative of \(\Sigma\) is inconsistent. Another main result is that \(\Sigma\) axiomatizes a variety that satisfies some nontrivial congruence identity if its \(n\)-th derivative is inconsistent for some \(n\). The two final results show that for a set \(\Sigma\) of idempotent linear identities, the derivative test is a necessary and sufficient condition to determine if \(\Sigma\) defines a variety that is congruence-modular or satisfies a nontrivial congruence identity.
- Equations implying congruence \(n\)-permutability and semidistributivity.
- Taylor's modularity conjecture holds for linear idempotent varieties.
- Taylor's modularity conjecture and related problems for idempotent varieties
- Almost all minimal idempotent varieties are congruence modular
- scientific article; zbMATH DE number 3939410
- A Characterization of Varieties with a Difference Term
- scientific article; zbMATH DE number 3943892
- Alan Day's early work: Congruence identities
- scientific article; zbMATH DE number 742853
- scientific article; zbMATH DE number 2006629
- n-permutable varieties satisfy non trivial congruence identities
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Almost all minimal idempotent varieties are congruence modular
- Axiomatizable and nonaxiomatizable congruence prevarieties
- Congruence join semidistributivity is equivalent to a congruence identity.
- Congruence lattices of semilattices
- Congruence modularity is permutability composed with distributivity
- Congruence varieties
- Every m-permutable variety satisfies the congruence identity \alpha\beta_h= \alpha \gamma_h
- Growth rates of algebras. II: Wiegold dichotomy.
- Hausdorff properties of topological algebras.
- scientific article; zbMATH DE number 714718 (Why is no real title available?)
- scientific article; zbMATH DE number 3415908 (Why is no real title available?)
- On \(n\)-permutable congruences
- On congruence distributivity and modularity
- On the representation of lattices
- p-modularity implies modularity in equational classes
- The shape of congruence lattices
- The structure of finite algebras
- Topological implications in varieties
- Undecidable properties of finite sets of equations
- Varieties whose congruences satisfy certain lattice identities
- Varieties with few subalgebras of powers
- Taylor's modularity conjecture and related problems for idempotent varieties
- The Gumm level equals the Alvin level in congruence distributive varieties
- The Tschantz and the Alvin higher conditions are equivalent in congruence distributive varieties
- Algebras from congruences
- Connected monads weakly preserve products
- Equations implying congruence \(n\)-permutability and semidistributivity.
- Taylor's modularity conjecture holds for linear idempotent varieties.
- The subpower membership problem for finite algebras with cube terms
- Congruence testing for odd subgroups of the modular group
- Relative lengths of Maltsev conditions
This page was built for publication: An easy test for congruence modularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q451080)
