Dedekind-Mertens lemma for power series in an arbitrary set of indeterminates (Q2054672)

Let \(R\) be a commutative ring with identity and \(X=\{X_{\lambda}\}_{\lambda\in\Lambda}\) be an arbitrary set of indeterminates over \(R\). Recall that there are three types of formal power series rings \(R[[X]]_1\subseteq R[[X]]_2\subseteq R[[X]]_3\) defined in the following way, and the two containments can be strict. The ring \(R[[X]]_1=\cup R[[X_{\lambda_1},\ldots,X_{\lambda_n}]]\) where \(\{\lambda_i\}_{1\leq i\leq n}\) runs over all finite subsetes of \(\Lambda\). The ring \(R[[X]]_2\) is defined to be the set of all formal sums \(\sum_{i:0}^{\infty}f_i\) where for each \(i\), \(f_i\in R[X]\) is zero or a homogeneous polynomial of degree \(i\). To define \(R[[X]]_3\), let \(B=\oplus_{\lambda\in\Lambda}\mathbb{N}_{\lambda}\) be the direct sum of \(|\Lambda|\) copies of the set of the natural numbers. For \(e=(e(\lambda))_{\lambda\in\Lambda}\in B\), we call \(X^e=\prod_{\lambda\in\Lambda}X_{\lambda}^{e(\lambda)}\) a \(X-\)monomial of degree \(n=\sum_{\lambda\in\Lambda}e(\lambda)\in\mathbb{N}\). Then define \(R[[X]]_3\) to be the set of all formal sums \(\sum a_eX^e\), where \(a_e\in R\). Now, for \(g\in R[[X]]_3\), we denote \(A_g\) the ideal of \(R\) generated by the coefficients of \(g\). In a technical way, the authors define the locally minimal number of special generators of \(A_g\). Then they show that if such number is \(k+1\), we have \(A_f^{k+1}A_g=A_f^kA_{fg}\) for all \(f\in R[[X]]_3\). The same formula is true for \(f\in R[[X]]_i\), \(i=1,2\).