Nenneraufnahme/Modulerzeuger/Nenneraufnahme an Element/Fakt/Beweis/Aufgabe
Es sei ein kommutativer Ring, ein -Modul und ein multiplikatives System. Der -Modul werde durch Elemente erzeugt. Zeige, dass es dann ein derart gibt, dass auch der -Modul durch Elemente erzeugt wird.