Bourbaki

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 AVA_V is noetherian, Spec(AV_V) 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 mx\mathfrak{m}_x is {0}\{0\}, and {0}\{0\} is a prime ideal of AVA_V; 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
Transcribed from the printed volume. Not translated.