Bourbaki

Definition 1

Tag 0CJG, permanent. Cite it as [Bourbaki, Tag 0CJG].

Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau

Let II be an ordered set. A nonempty finite totally ordered subset of II is called a chain in II. Let cc be a chain in II; the smallest and greatest elements of cc are called the extremities of cc. The integer Card(c)−1\mathrm{Card}(c) - 1 is called the length of cc. The inclusion relation in the set of subsets of II induces an order relation in the set of chains in II. A chain cc in II is said to be saturated if it is maximal among the chains in II having the same extremities as cc.

To designate a chain c of length n, we shall often write: “the chain i0<⋯<ini_0 < \cdots < i_n”, where the iki_k are the elements of c indexed in strictly increasing order by the integers from 0 to n.

Let X be a topological space. We equip the set of irreducible closed subsets of X (II, § 4, No. 1, Def. 1) with the order relation defined by inclusion. Whenever we speak of a chain of irreducible closed subsets of X, this will always mean a chain with respect to this order relation.

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

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.