Example 2
Tag 06HN, permanent. Cite it as [Bourbaki, Tag 06HN].
Algebra, V, p. 17, § 3. Algebraic extensions
Let be a field and the field of rational functions in one indeterminate over . Let be the subfield of ; we have and is algebraic over , since it is a root of the polynomial of the ring ; this polynomial is irreducible in , for in the contrary case it would have at least one factor of the first degree, and there would then exist two non-zero polynomials , of such that which is absurd, for if and are the degrees of and , this would imply , or . The field is thus of degree 3 over , and every element of may be written in just one way as a linear combination , where are three rational fractions of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.