Commuting polynomial operations of distributive lattices

Structure and representation theory of distributive lattices (06D05) Operations and polynomials in algebraic structures, primal algebras (08A40) General theory of functional equations and inequalities (39B05)

Review text

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.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Commuting polynomial operations of distributive lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q438810)