Modul/Homomorphismen nach endlich erzeugten Ring auf 0/Untermodul/Nenneraufnahme/Aufgabe
Erscheinungsbild
Es sei ein kommutativer Ring und ein -Modul. Wir betrachten
a) Zeige, dass ein Untermodul von ist.
b) Es sei endlich erzeugt. Zeige
.
c) Es sei jetzt ein
noetherscher
lokaler
Integritätsbereich
und
,
und keine Einheit. Wir betrachten die Nenneraufnahme
als -Modul. Zeige
.