7.1. Ideales máximos en un anillo.

Se demuestra que en todo anillo existen ideales máximos, usando el Lema de Zorn. Análogamente todo anillo como módulo izquierdo regular tiene submódulos (ideales izquierdos) máximos.