product of ideals

Sei \(R\) ein Ring und \(I,J \subseteq R\) Ideale. Dann ist das Komplexprodukt der Ideale definiert als

\begin{align*} IJ = \left\{ \sum_{i=1}^{m} x_iy_i \vert x_i \in I, y_i \in j \right\} \end{align*}

siehe: Komplexprodukt von Idealen als Ideal