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

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

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

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

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

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

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

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

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.