Equational density of clones of polynomial functions

From MaRDI portal





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.











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)