Interassociates of the free commutative semigroup on n generators.

From MaRDI portal
Publication:2373420





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\).











This page was built for publication: Interassociates of the free commutative semigroup on \(n\) generators.

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