Q . Dado $f,g$ coprima en el anillo $R$ es decir $\exists h,k \in R$ , s.t. $fh+gk=1$ . ¿Es posible que, después de alguna manera ampliar $R$ para llamar $S$ tenemos $e,f_1,g_1 \in S$ , $f=ef_1$ , $g=eg_1$ s.t. $e\ne1$ ?
No sé si existe esa "extensión" en anillo, comparada con la "extensión de campo".
Antecedentes: Estoy leyendo el libro de David R. Finston y Patrick J. Morandi Álgebra abstracta: Estructura y aplicación y en la sección 7.3 página 112 hay un ejercicio
Ejercicio 5 . Sea $L$ sea cualquier campo de extensión de $F$ . Un par de polinomios $f$ y $g$ en $F[x]$ también puede considerarse que se encuentra en $L[x]$ . Utilice la proposición 5.5 para ver que si $d$ y $e$ son los gcds de $f$ y $g$ calculado sobre $F$ y $L$ respectivamente, entonces cada uno divide al otro. Así, $gcd(f,g)$ está bien definido en el sentido de que es el mismo polinomio en $F[x]$ si $f$ y $g$ se ven en $F[x]$ o $L[x]$ .
Estoy de acuerdo con todo lo que se dice en el libro. Sin embargo, si lo que pregunté en Q es posible, lo que impide que esto ocurra en Ejercicio 5 ¿Se debe a $F$ es un campo? o debido a $F[x], L[x]$ ¿son PID?