[Math] Show a rational function is transcendental over a field.

abstract-algebra

Let $u=\frac{x^3}{x+1}\in F(x)$, where $F(x)$ is the field of quotients of $F[x]$ ($F$ some field, $x$ an indeterminate over it). Show that $u$ is transcendental over $F$.

This is an exercise in Hungerford.

I'm having some trouble even grasping the concepts involved. For instance, I know that if $v$ is transc. over $F$, then $F[v]\cong F[x]$. Or that if $v$ is transc. over $F$, then $F[v]\subsetneq F(v)$. But I have no idea how to use this to my advantage.

I'm also confused about what it even means for $u$ as above to be transc. over $F$. Am I going to have to consider "polynomials of polynomials"?

Best Answer

Since this is an important basic issue, I'll add a complementary answer to Bill Dubuque's, and the good comments above: the definition of $u$ shows that $x$ satisfies a cubic equation over $F(u)$, so is algebraic over $F(u)$. If $u$ were algebraic over $F$, then, by transitivity of "algebraic extension", $x$ itself would be algebraic over $F$.

This less-explicit but more-qualitative kind of argument can succeed when explicit computations become burdensome.

Related Question