## [Ideal Maximal](/es/node/60198) Definición Un ideal propio M de un anillo R que es maximal respecto a la inclusión entre ideales propios; equivalentemente, el anillo cociente R/M es un cuerpo. ## Principio Principio Los ideales maximales representan los mayores ideales propios y producen los cocientes no triviales más simples (cuerpos), por lo que sirven como puntos básicos para probar propiedades de anillos y en geometría algebraica. ## Demostración Demostración En Z, el ideal pZ para un primo p es maximal porque Z/pZ es un cuerpo; en k[x], el ideal (x - a) es maximal porque k[x]/(x - a) ≅ k es un cuerpo cuando k es un cuerpo. ## Aplicación incorrecta Aplicación incorrecta Suponer que todo ideal primo es maximal (falso en general), o confundir maximalidad con ser generado por un único elemento sin comprobarlo (los ideales maximales pueden no ser principales). ## Consecuencia Consecuencia Los ideales maximales corresponden a cocientes simples y a puntos en el espectro de un anillo; la existencia de ideales maximales sustenta muchos argumentos de localización y de campos residuales. ## Inversión Inversión Un ideal contenido propiamente en otro ideal propio mayor no es maximal; invertir la condición de maximalidad conduce a cadenas de ideales y a nociones como ideales primarios o primos de menor nivel. ## Límite Límite La maximalidad depende de la inclusión entre ideales propios; en contextos no conmutativos puede ser necesario especificar ideales maximales izquierdos o derechos, y la existencia de ideales maximales puede requerir axiomas de elección para anillos arbitrarios. ## Tensión semántica Tensión semántica La idea de 'maximal' como el mayor contrasta con 'primo', que es de naturaleza multiplicativa; algunos anillos tienen ideales primos que no son maximales, lo que crea tensión al aplicar la intuición de los enteros a anillos de mayor dimensión de Krull. ## Síntesis Síntesis Un ideal maximal es un ideal propio que no puede ampliarse sin convertirse en todo el anillo; produce un cociente que es cuerpo y actúa como átomo primario en análisis local y residual de la estructura del anillo.