Es sei R {\displaystyle {}R} ein kommutativer Ring und sei M {\displaystyle {}M} die Menge aller Ideale in R {\displaystyle {}R} , die wir mit den beiden Verknüpfungen Summe von Idealen und Produkt von Idealen versehen. Welche Ringaxiome gelten dafür?
