Commuting polynomial operations of distributive lattices (Q438810)

The aim of this paper is to describe which pairs of distributive lattice polynomial operations commute. The authors consider operations \(f:X^m\longrightarrow X\) and \(g:X^n\longrightarrow X\) on \(X\); and \([x_{ij}]\in X^{m\times n}\) be a matrix of elemens of \(X\). It is said that \(f\) commutes with \(g\) on \([x_{ij}]\) if \(f\circ g([x_{ij}])=g\circ f([x_{ij}]^T)\), and that \(f\) and \(g\) commute if they commute on all matrices \([x_{ij}]\in X^{m\times n}\). Suppose that \(M\) is an \(R\)-module and that \(f(x_1,\dots, x_m)=\sum_{i=1}^m a_ix_i+c\) and \(g(x_1,\dots, x_n)=\sum_{j=1}^n b_jx_j+d\) are module polynomial operations. Using the notation \([k]\) for the set \(\{1, 2, \dots, k\}\) for all natural numbers \(k\), the main result of the paper can be stated as follows: if \(f(x_1, \dots, x_m)=\sum_{S\subseteq [m]}a_S \prod_{i\in S}x_i\) and \(g(x_1, \dots, x_n)=\sum_{T\subseteq [n]}b_T \prod_{j\in T}x_j\) are distributive lattice polynomial operations written in maximal disjunctive normal form, then \(f\) commutes with \(g\) if and only if (i) some condition on constant terms and leading coefficients is met and (ii) some type of ``commutativity condition'' is satisfied by all coefficients. Corollaries of the main theorem include: a characterization of the self-commutativity, distributive lattice polynomial operations, and a characterization of the pairs of commuting distributive lattice term operations. I think that the article contains valuable results and can be a starting point for other studies on this subject.