Definition 1

Tag 047S, permanent. Cite it as [Bourbaki, Tag 047S].

Commutative Algebra, chapter II, § 3. Local rings. Passage from the local to the global

A ring $\mathbf{A}$ is called a local ring if it satisfies the equivalent conditions (a), (b) and (c) of Proposition 1. The quotient of $\mathbf{A}$ by its Jacobson radical (which is then the unique maximal ideal of $\mathbf{A}$ ) is called the residue field of $\mathbf{A}$ .

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

Cited by

Nothing.

Cites

Proposition 1