Bourbaki

Corollary 2

Tag 04VR, permanent. Cite it as [Bourbaki, Tag 04VR].

Commutative Algebra, chapter VI, § 7. Approximation theorem

Suppose that Ai⊄AjA_i \not\subset A_j for i≠ji \neq j. There exist elements xix_i (1≤i≤n1 \leq i \leq n) of KK such that vi(xi)=0v_i(x_i) = 0 and vj(xi)>0v_j(x_i) > 0 for i≠ji \neq j.

For each index ii apply Corollary 1 to the family (ai)(a_i) such that ai=1a_i = 1 and aj=0a_j = 0 for j≠ij \neq i.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.