20/02/2018, 10:09:21 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: En un DIP, p irreducible implica (p) es maximal  (Leído 33 veces)
0 Usuarios y 1 Visitante están viendo este tema.
elesping
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 7


Ver Perfil
« : 13/02/2018, 02:15:44 pm »

Alguien podría ayudarme a enfocar la demostración de este proposición:

Si R es un DIP y p es un elemento irreducible en R, entonces el ideal (p) es un maximal.

Editado. Tu título incial un DIP es un elemento irreducible no tiene sentido. Se ha cambiado por En un DIP, p irreducible implica (p) es maximal.
Fernando Revilla.
En línea
Fernando Revilla
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.874


Las matemáticas son demasiado humanas (Brouwer).


Ver Perfil WWW
« Respuesta #1 : 13/02/2018, 02:52:53 pm »

Si R es un DIP y p es un elemento irreducible en R, entonces el ideal (p) es un maximal.

Elige un ideal [texx]I[/texx] de  [texx]R[/texx] tal que [texx](p)\subset I \subset R[/texx]. Como [texx]R[/texx] es un DIP, existe [texx] b\in R[/texx] tal que  [texx]I=(b)[/texx]. Como [texx]p\in (p)\subset I=(b)[/texx], podemos escribir [texx]p=bc[/texx] para algún [texx]c\in R.[/texx] Como [texx]p[/texx] es irreducible, o bien [texx]b[/texx] o bien [texx]c[/texx] es unidad de [texx]R[/texx].

Si [texx]b[/texx] es unidad, entonces [texx]I=(b)=R[/texx].
Si [texx] c [/texx] es unidad, existe [texx]c'\in R[/texx] tal que [texx]cc′=1.[/texx] Entonces,

          [texx]b=b⋅1=bcc′=pc′\Rightarrow  I=(b)=(p)[/texx]

En cualquier caso o bien [texx]I=(p)[/texx] o bien [texx]I=R[/texx] y por tanto, [texx](p)[/texx] es ideal maximal.
En línea

Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!