Commuting polynomial operations of distributive lattices (Q438810): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2010456842 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992445 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finitely Many Primitive Positive Clones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Self-commuting lattice polynomial functions on chains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3487452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5534264 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3639652 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Boolean primitive positive clones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A QUASI-AFFINE REPRESENTATION / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4700372 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the centralizer of the join operation of a finite lattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4789441 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: All clones are centralizer clones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primitive positive clones of groupoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3539582 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:55, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Commuting polynomial operations of distributive lattices |
scientific article |
Statements
Commuting polynomial operations of distributive lattices (English)
0 references
31 July 2012
0 references
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.
0 references
polynomial operations
0 references
commuting operations
0 references
functional equations
0 references