Example 1
Tag 0CZR, permanent. Cite it as [Bourbaki, Tag 0CZR].
Commutative Algebra, chapter IX, Appendix 0.
Every field extension is an inflation. Let indeed K be an extension of a field k. Let us furnish K with a well-ordering for which 0 is the greatest element, and for , let be the sub--extension of K generated by the elements of K such that . The verification of conditions a), b), c), for and the family , is immediate.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.