Sean $S$ y $R'$ anillos disjuntos con la propiedad de que $S$ contiene un subanillo $S'$ tal que hay un isomorfismo $f'$ en $S'$ hacia $R'$.
Demuestra que hay un anillo $R$ que contiene a $R'$ y un isomorfismo $f$ de $S$ hacia $R$ tal que $f'=f|_{S'}.
Entonces hay dos partes aquí, primero necesitamos encontrar un anillo $R$ que contenga a $R'$, y luego necesitamos construir un isomorfismo entre $S$ y $R$.
Estaba pensando en $S\cup R'$ pero este puede que no sea un anillo ya que sus operaciones pueden ser diferentes. Luego pensé en $S\times R'$. Aunque es un anillo, $S$ no es isomorfo a él.
