Ideale massimale

In matematica, in particolare nella teoria degli anelli, un ideale massimale è un ideale che risulta essere un elemento massimale (rispetto all'inclusione insiemistica) dell'insieme degli ideali propri di un anello, ovvero tale che non sia contenuto propriamente in nessun altro ideale proprio dell'anello.

Gli ideali massimali sono pertanto caratterizzati dalla proprietà di essere contenuti solamente in due ideali: l'intero anello e l'ideale massimale stesso. In un diagramma di Hasse questa proprietà è espressa dal fatto che gli ideali massimali sono sempre collegati direttamente al punto che rappresenta l'intero anello.