Sean SS 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∪R′ pero este puede que no sea un anillo ya que sus operaciones pueden ser diferentes. Luego pensé en S×R′. Aunque es un anillo, S no es isomorfo a él.
