Es sei R {\displaystyle {}R} ein kommutativer Ring und seien a j {\displaystyle {}{\mathfrak {a}}_{j}} , j ∈ J {\displaystyle {}j\in J} , eine Familie von Idealen. Zeige, dass der Durchschnitt ⋂ j ∈ J a j {\displaystyle {}\bigcap _{j\in J}{\mathfrak {a}}_{j}} wieder ein Ideal ist.
