Corollary 1
Tag 06HT, permanent. Cite it as [Bourbaki, Tag 06HT].
Algebra, chapter V, § 3. Algebraic extensions
— Let E be an extension of K and A a subset of E consisting of elements that are algebraic over K. Then is algebraic over K and we have .
For each belongs to a field , where F is a finite subset of (, p. 11, Cor.); now is algebraic over and equal to by Th. 2, hence is algebraic over and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Theorem 5, § 10
- Proposition 16, § 14
- Proposition 7, § 14
- Corollary 2, § 15
- § 2. Extensions
- Proposition 4, § 3
- Corollary 2, § 3
- Proposition 11, § 7
- Proposition 6, § 7
- Theorem 3, § 12