Академический Документы
Профессиональный Документы
Культура Документы
13) Sea una extensin finita de un campo y sea () [x] irreducible sobre F y
de grado que no es divisor de [: ]. Mustrese que () no tiene ceros en .
22) Use el lema de Zorn para mostrar que todo ideal propio de un anillo con unitario
est contenido en algn ideal maximal.
Desarrollo
21) Si R no contiene ideales propios no triviales, entonces {0} es el nico ideal propio,
y es un ideal maximal, y por supuesto est contenido en s mismo, as que se ha
concluido.
Supongamos que contiene un ideal adecuado no trivial que por supuesto no
contiene la unidad 1 de .
El conjunto de ideales de que no contienen 1 es parcialmente ordenado por
inclusin. Sea = { | I} sea una cadena de . Nosotros afirmamos que = I
es un elemento de que es un lmite superior de . Sea , . Luego y
para algunos , I. Debido a que es una cadena, uno de estos ideales est
contenido en el otro, es decir .
Entonces , que es un ideal, por lo que para todo , vemos que
, 0, estn todo en y por lo tanto en .
Esto demuestra que es un ideal. Claramente para todo I, y 1 no esta en
porque 1 no est en para ningn I. As, y es lmite superior para , por
lo que las hiptesis del lema de Zorn estn satisfechas.