Definition:Generated Ideal of Ring

Definition
Let $\left({R, +, \circ}\right)$ be a ring.

Let $S \subseteq R$ be a subset.

Definition 1
The ideal generated by $S$ is the smallest ideal of $R$ containing $S$, that is, the intersection of all ideals containing $S$.

Definition 2
The ideal generated by $S$ is the set of all linear combinations of elements of $S$.

Also see

 * Equivalence of Definitions of Generated Ideal of Ring
 * Definition:Generator of Ideal
 * Definition:Generated Subring

Generalizations

 * Definition:Generated Submodule