spanned Ideal

Sei \(R\) ein Ring und eine Familie \(x_i \in R\) gegeben. Dann ist

\begin{align*} (x_i) = \{ \sum_{i \in I} r_i x_i r_i' \vert r_i, r_i' \in R \land \text{ fast alle } r_i = 0\} \end{align*}

das von \(x_i\) erzeugte Ideal