1 votos

Si $S'$ es un subring de $R'$ entonces $f^{-1}(S')$ es un subring de $R$

En la pregunta:

Sea $f: R \to R'$ sea un homomorfismo (de anillo). Si $S'$ es un subring de $R'$ entonces $f^{-1}(S')$ es un subring de $R$

No $f$ tiene que ser un isomorfismo y no sólo un homomorfismo? Mi prueba hasta ahora:


(Cerrado por adición) Tomar $f^{-1}(a),f^{-1}(b) \in S$ . Entonces $$ f^{-1}(a) + f^{-1}(b) = f^{-1}(a + b) $$ y puesto que $S'$ es un subring, $a + b \in S' \implies f^{-1}(a + b) \in R$ .


pero esto sólo funciona si $f^{-1}$ es un isomorfismo. ¿Me he perdido algo?

2voto

Spaisekraft Puntos 395

Es más fácil trabajar con esta definición de la imagen/preimagen inversa. http://en.wikipedia.org/wiki/Image_(matemáticas)

$$H=f^{-1}(S') = \{x\in R | f(x) \in S'\ \}$$

Mostrar ahora

$e\in H$

Si $x,y\in H$ entonces $xy^{-1}\in H$

Así $H$ subringulo de $R$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X