Interassociates of the free commutative semigroup on \(n\) generators. (Q2373420): Difference between revisions

It is proved, that if \((S,\cdot)\) is the free commutative semigroup on \(n\) generators \(x_1,\dots,x_n\), then for all its interassociates \((S,*)\) there exists an \(n\)-tuple \(\overline k=(k_1,\dots,k_n)\) of non-negative integers \(k_i\) such that \(*=*_{\overline k}\) and the operation \(*_{\overline k}\) is defined by \((x_1^{\alpha_1}\cdots x_n^{\alpha_n})*_{\overline k}(x_1^{\beta_1}\cdots x_n^{\beta_n})=x_1^{\alpha_1+\beta_1+k_n}\cdots x_n^{\alpha_n+\beta_n+k_n}\); two interassociates \((S,*_{\overline k})\) and \((S,*_{\overline l})\) are isomorphic iff \(\overline k\) is a permutation of \(\overline l\).