Independence algebras, basis algebras and the distributivity condition (Q2221029)

For the definition of an independence algebra see \textit{V. Gould} [Algebra Univers. 33, No. 3, 294--318 (1995; Zbl 0827.20075)]. A class of algebras called stable basis algebras was introduced in \textit{J. Fountain} and \textit{V. Gould} [J. Aust. Math. Soc. 75, No. 3, 355--384 (2003; Zbl 1041.08002)]. Let \(\mathbf{B}\) be a basis algebra and \(T\) be the set of all non-constant unary term operations. It is said that \(\mathbf{B}\) satisfies the distributivity condition if the clone of \(\mathbf{B}\) contains a generating set \(W\) of operations such that for all \(a\in T\) and \(n\)-ary operations \(t\in W\), where \(n \geq 2\), the equality \(a(t(x_1,\dots, x_n)) = t( a(x_1),\dots, a(x_n))\) holds. If a stable basis algebra \(\mathbf{B}\) satisfies the distributivity condition, \(\mathbf{B}\) is a reduct of an independence algebra \(\boldsymbol{A}\). Some examples of independence algebras satisfying the distributivity condition are given. One of the main results gives an example of an independence algebra which does not satisfy the distributivity condition. The other results describe connections between monoids of endomorphisms of an independence algebra \(\boldsymbol{A}\) and a stable basis algebra \(\boldsymbol{B}\) which is a reduct of \(\boldsymbol{A}\).