Bourbaki

Corollary 2

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

Commutative Algebra, chapter V, § 1. Notion of an integral element

Let AA be an integral domain, KK its field of fractions, RR an algebra over KK and BB the integral closure of AA in RR. The elements of RR which are algebraic over KK (no. 1, Example 1) are the elements of the form a−1ba^{-1} b where b∈Bb \in B and a∈A,a≠0a \in A, a \neq 0; if LL is the algebraic closure of KK in RR, there exists a basis of LL over KK contained in BB.

The first assertion follows from Proposition 16 applied in the case S=A−{0}S = A - \{0\}. If (xi)i∈I(x_i)_{i \in I} is a basis of LL over KK, then there exists for all i∈Ii \in I an element ai≠0a_i \neq 0 of AA such that aixi∈Ba_i x_i \in B; then (aixi)i∈I(a_i x_i)_{i \in I} is also a basis of LL over KK.

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

Cited by

Cites

Transcribed from the printed volume. Not translated.