Corollary
Tag 0CZY, permanent. Cite it as [Bourbaki, Tag 0CZY].
Commutative Algebra, chapter IX, Appendix 0.
Let A be a local ring and K an extension of its residue field . Then there exist a local ring B and an inflation such that the -algebra is isomorphic to K.
In fact, the homomorphism is an inflation (Example 1). Applying Theorem 1 with and , one obtains the existence of an inflation B of A and of an A-isomorphism of onto K, whence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.