Equational density of clones of polynomial functions
Consider the nominal expansion of an algebra, i.e. add a nullary operation for every element of the algebra to the type. Then the algebra is called `well-behaved', if every equational theory extending the equational theory of the expanded algebra is determined by equations having no variables. This concept can be extended by considering algebras where all these equational theories are determined by equations having at most \(n\) variables. It turns out that this property only depends on the clone of polynomial functions of the algebra, which is called a (polynomially) \(n\)-dense algebra in that case. In this paper, some results in this direction are obtained for well-known classes of algebras. So for example finite algebras in congruence distributive varieties are 0-dense (well-behaved), while abelian algebras in congruence modular varieties (in other words, affine spaces) are 1-dense, but not 0-dense.
- A property of the lattice of equational theories
- Algebras Whose Congruence Lattices are Distributive.
- An approach to lattice varieties of finite height
- Equational Bases and Nonmodular Lattice Varieties
- scientific article; zbMATH DE number 4170985 (Why is no real title available?)
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- scientific article; zbMATH DE number 3654207 (Why is no real title available?)
- scientific article; zbMATH DE number 3634319 (Why is no real title available?)
- Lattices of equational theories are congruence lattices of monoids with one additional unary operation
- On equational theories of semilattices with operators
- Polynomial density of commutative semigroups
This page was built for publication: Equational density of clones of polynomial functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891268)