Suponga $k$ es un campo y $x$ es trascendental $k$. Si $p(x)$ $q(x)$ ser relativamente primer polinomios de $k[x]$ a continuación, quiero encontrar el polinomio mínimo de a$x$$k\left(\dfrac{p(x)}{q(x)}\right)$.
Si uno de ellos puede ser una constante, a continuación, $[k(x):k(\dfrac{p}{q})]$ es el grado de " el otro y el polinomio mínimo es $p(T)-p(x)$ si $p(x)$ es de la no-constante, $q(T)-q(x)$ si $q(x)$ no es la constante.
Ahora, ¿qué iba a hacer era este;
$\big(p(x),q(x)\big)=1\Longrightarrow \exists r(x),s(x)\in k[x]\text{ s.t. }r(x)p(x)+s(x)q(x)=1$
A continuación, $r(T)\dfrac{p}{q}+s(T)=\dfrac{1}{q}$
Por lo $[k(x):k(\dfrac{p}{q},\dfrac{1}{q})]=\max(\deg(p),\deg(q))$ pero estoy buscando polinomio mínimo de a$x$$k(\dfrac{p}{q})$$[k(x):k(\frac{p}{q})]$. Sé que este extenction grado debe ser$\max(\deg(p),\deg(q))$, pero no sé su prueba, también quiero que el polinomio mínimo es explícitamente una prueba de mencionar este teorema y que el teorema no es lo que estoy buscando.