Bourbaki

Example 2

Tag 06HN, permanent. Cite it as [Bourbaki, Tag 06HN].

Algebra, V, p. 17, § 3. Algebraic extensions

Let KK be a field and FF the field K(X)K(X) of rational functions in one indeterminate over KK. Let EE be the subfield K(X3)K(X^3) of FF; we have F=E(X)F = E(X) and XX is algebraic over EE, since it is a root of the polynomial Y3−X3Y^3 - X^3 of the ring E[Y]E[Y]; this polynomial is irreducible in E[Y]E[Y], 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 u(X)u(X), v(X)v(X) of K[X]K[X] such that (u(X3))3=X3(v(X3))3(u(X^3))^3 = X^3(v(X^3))^3 which is absurd, for if mm and nn are the degrees of uu and vv, this would imply 9m=9n+39m = 9n + 3, or 3m=3n+13m = 3n + 1. The field FF is thus of degree 3 over EE, and every element of FF may be written in just one way as a linear combination f(X3)+Xg(X3)+X2h(X3)f(X^3) + Xg(X^3) + X^2 h(X^3), where f,g,hf, g, h are three rational fractions of K(X)K(X).

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 2003, Springer. Not translated.