3
$\begingroup$

Given a field of the form $\mathbb C(t)[g]$, where $t$ is transcendental over $\mathbb C$ and $g$ is algebraic over $\mathbb C(t)$ do I always find an irreducible polynomial $F\in \mathbb C[X,Y]$ such that $Quot(\mathbb C[X,Y]/(F))\cong \mathbb C(t)[g]$?

I thought about taking the minimal polynomial of $g$ over $\mathbb C(t)$ and killing the denominators, but I couldn't manage writing a serious proof.

  • 0
    @beginner I've changed $f$ by $t$ suggesting "transcendental".2019-05-07

1 Answers 1

1

Your problem reduces to the following:

Let $R$ be an UFD, $K$ its field of fractions, $p\in K[T]$ an irreducible monic polynomial and $a\in R$ such that $ap\in R[T]$ is primitive (there is always an $a\in R$ with this property!) and therefore irreducible. Then the field of fractions of $R[T]/(ap)$ is isomorphic to the field $K[T]/(p)$.

In order to prove this note that there exists an injective homomorphism $R[T]/(ap)\to K[T]/(p)$. Then it's easy to show that this is also surjective.

Remark. For another proof of the desired isomorphism one can uses the usual properties of localization (with respect to the multiplicative system $S=R-\{0\}$).

  • 0
    @beginner If you find my answer useful and correct, then accept it. If not, feel free to ask and comment.2012-12-29