Zu Idealen a , b ⊆ R {\displaystyle {}{\mathfrak {a}},{\mathfrak {b}}\subseteq R} in einem kommutativen Ring R {\displaystyle {}R} nennt man das Ideal
die Summe der Ideale.