Remark 2

Tag 04I1, permanent. Cite it as [Bourbaki, Tag 04I1].

Commutative Algebra, chapter III, § 4. Lifting in complete rings

Suppose that $A$ is linearly topologized; let $r$ be an integer such that 1 $\leq r \leq p$ and let the ring $A\{X_1, \ldots, X_r\}$ be given the topology defined above. Then the topological ring $A\{X_1, \ldots, X_r\}$ is identified with the ring of restricted formal power series

(A\{X_1, \ldots, X_r\})\{X_{r+1}, \ldots, X_p\}

as follows immediately from the definitions.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Remark 3, § 4

Cites

Nothing.