Es sei S {\displaystyle {}S} eine endliche R {\displaystyle {}R} -Algebra und M {\displaystyle {}M} ein endlich erzeugter S {\displaystyle {}S} -Modul.
Dann ist M {\displaystyle {}M} auch ein endlich erzeugter R {\displaystyle {}R} -Modul.
