User:Fake Proof/Sandbox/Generated Ideal of Ring

Definition
Let $\struct {R, +, \circ}$ be a ring.

Let $S \subseteq R$ be a non-empty subset.

Definition 1
The ideal generated by $S$ is the smallest ideal containing $S$.

Definition 2
The ideal generated by $S$ is the intersection of all ideals containing $S$.

Definition 3
Let $\gen S$ be the additive subgroup of $\struct {R, +}$ generated by $S$.

Let $\ds R \circ S = \set {\sum_{i \mathop = 1}^n r_i \circ s_i: n \in \N, r_i \in R, s_i \in S}, S \circ R = \set {\sum_{i \mathop = 1}^n s_i \circ r_i: n \in \N, r_i \in R, s_i \in S}, R \circ S \circ R = \set {\sum_{i \mathop = 1}^n a_i \circ s_i \circ b_i: n \in \N, a_i, b_i \in R, s_i \in S}$.

The ideal generated by $S$ is $\gen S + R \circ S + S \circ R + R \circ S \circ R$.

Also defined as
Some sources define the ideal generated by $S$ as $R \circ S \circ R$. It is also an ideal of $\struct {R, +, \circ}$, but different.

Also see

 * Equivalence of Definitions of Generated Ideal of Ring
 * Definition:Generator of Ideal of Ring
 * Definition:Generated Subring
 * Generated Ideal of Ring is Closure Operator