Equational density of clones of polynomial functions (Q1891268): Difference between revisions

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.