Kommutative Ringtheorie/Idealtheorie/Erzeugtes Ideal/Definition/Begriff/Inhalt

Das von den ${}a_{j}$ erzeugte Ideal besteht aus allen (endlichen) Linearkombinationen

$\sum _{j\in J_{0}}r_{j}a_{j},$

wobei ${}J_{0}\subseteq J$ eine endliche Teilmenge und ${}r_{j}\in R$ ist.