Remark
Tag 04IF, permanent. Cite it as [Bourbaki, Tag 04IF].
Commutative Algebra, chapter III, § 4. Lifting in complete rings
Proposition 8 again gives the structure of a semi-local ring on which is Hausdorff and complete with the -adic topology (c the Jacobson radical of ), which has already been obtained as a consequence of § 2, no. 13, Corollary to Proposition 19.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.