On algebraic basis of the algebra of symmetric polynomials on \(\ell_p(\mathbb{C}^n)\) (Q1683024)

For \(n\in \mathbb{N}\), \(1\leq p<\infty \), the authors introduce the vector space \(l_{p}( \mathbb{C}^{n}) \) of all sequences \( x=( x_{1},x_{2},\dots) \), where \(x_{j}=( x_{j}^{( 1) },\dots,x_{j}^{( n) }) \in \mathbb{C}^{n}\) for \(j\in \mathbb{N} \) such that the series \(\sum_{j=1}^{\infty }\sum_{s=1}^{n}| x_{j}^{( s) }| ^{p}\) is convergent. For a multi-index \(k=( k_{1},\dots,k_{n}) \in \mathbb{Z}_{+}^{n}\) let \(| k| =k_{1}+\cdot \cdot \cdot +k_{n}\). For every \(k\in \mathbb{Z}_{+}^{n}\) such that \(| k| \geq \lceil p\rceil \), where \(\lceil p\rceil \) is a ceiling of \( p\), let \(H_{k}:l_{p}( \mathbb{C}^{n}) \rightarrow \mathbb{C}\) be the mapping defined by \(H_{k}( x) =\sum_{j=1}^{\infty }\prod_{ s=1,\, k_{s}>0}^{n}( x_{j}^{( s) }) ^{k_{s}}\). The authors show, in Corollary 15, that the polynomials \(H_{k}\), where \(k\in \{ l\in \mathbb{Z}_{+}^{n}: | l| \geq \lceil p\rceil \} \cup \{ 0\} \), form an algebraic basis of the algebra \(\mathcal{P}_{s}( l_{p}( \mathbb{C}^{n}) ) \) of all symmetric continuous polynomials on \( l_{p}( \mathbb{C}^{n}) \).