Kommutative Algebra/Untermodul/Definition

Untermodul

Es sei ein kommutativer Ring und ein -Modul. Eine Teilmenge heißt -Untermodul, wenn sie eine Untergruppe von ist und wenn für jedes und auch ist.