Proposition 2
Tag 06HR, permanent. Cite it as [Bourbaki, Tag 06HR].
Algebra, chapter V, § 3. Algebraic extensions
— If an extension E of K is of finite degree n, then it is algebraic and the degree over K of each element of E divides n.
For, given , is finite and divides n (, p. 10, Cor. 1) and hence is algebraic over (, p. 17, Cor. 1).
There exist algebraic extensions of infinite degree, for example the algebraic closure of a finite field (V, p. 24, Remark 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.