Projective freeness of algebras of real symmetric functions (Q371668)

It is proven that the ring \(C_r(\overline{\mathbb D}^n;{\mathbb C})\) of real symmetric functions in \(C(\overline{\mathbb D}^n;\mathbb C)\), i.e., \(C_r(\overline{\mathbb D}^n;{\mathbb C})=\{f\in C(\overline{\mathbb D}^n;{\mathbb C}): f(z)=\overline{f(\overline z)},\, z\in\overline{\mathbb D}^n\}\), with pointwise operations is projective free, namely, all finitely generated projective \(C_r(\overline{\mathbb D}^n;\mathbb C)\)-modules are free. If \(A\) is the polydisc algebra, denote by \(\partial^{-N}A\) the algebra of functions \(f\in A\) the complex partial derivatives of orders up to \(N\) of which belong to \(A\). It is shown also that all real symmetric algebras \(\partial^{-N}A_r=\{f\in \partial^{-N}A: f(z)=\overline{f(\overline z)},\, z\in\overline{\mathbb D}^n\}\) are projective free rings.