Proposition 2
Tag 00XE, permanent. Cite it as [Bourbaki, Tag 00XE].
Lie Groups and Lie Algebras, chapter VII, Appendix 1. Polynomial maps and Zariski topology
The vector space V, equipped with the Zariski topology, is an irreducible noetherian space. In particular, every non-empty open subset of V is dense.
Since is noetherian, Spec(A) is noetherian (Commutative Algebra, Chap. II, §4, no. 3, Cor. 7 of Prop. 11), and every subspace of a noetherian space is noetherian (loc. cit., no. 2, Prop. 8). With the notation of the Cor. of Prop. 1, the intersection of the is , and is a prime ideal of ; thus V is irreducible (loc. cit., no. 3, Prop. 14).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
- Commutative Algebra, Chap. II, §4, no. 3, Cor. 7 of Prop. 11 not in this corpus: AC II
- Cor. of Prop. 1