Processing math: 100%

1 votos

Extraño isomorfismo: R/(A+B)(R/B)/ˉA .

R es un anillo y A,B son ideales de R.

Estaba jugando con algunas cosas y me preguntaba si R/(A+B)(R/B)/ˉA. para ˉA siendo la imagen de A en RR/B. Estoy bastante seguro de que tengo una prueba para ello. Publicaré una "prueba" como respuesta si el isomorfismo es correcto. Simplemente no sé si es correcto porque nunca he visto esto antes. O... ¿es simplemente incorrecto?

4voto

JayTuma Puntos 431

Esto es una consecuencia del segundo teorema del isomofismo (sobre wikipedia se denomina de todos modos el tercero): BA+BR implica que R/(A+B)(R/B)/((A+B)/B) Donde no es difícil demostrar que (A+B)/B es la imagen de A a través del mapa π:RR/B

2voto

Daniel Bencik Puntos 139

Tenemos un mapa de R(R/B)/ˉA que es un homomorfismo ya que es la composición de los mapas naturales RR/B y R/B(R/B)/ˉA. También es suryectiva, ya que es la composición de mapas suryectivos. No es difícil ver que el núcleo es A+B. Sin embargo, la respuesta de @JayTuma parece ser un enfoque más directo utilizando el segundo teorema de isomorfismo.

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