Example
Tag 0CSR, permanent. Cite it as [Bourbaki, Tag 0CSR].
Commutative Algebra, chapter VIII, § 7. Multiplicités
Let k be a field of characteristic and take for A the local ring with residue field k. Take where . Distinguish two cases: if — 1 is the square of an element i of k, B has two maximal ideals generated respectively by {X, T + i} and {X, T − i}, they have residue field k, and one has . If — 1 is not a square in k, B has a unique maximal ideal (X) with residue field , and one has .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.