Kommutative Algebra/Untermodul/Definition

Untermodul

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.