Kommutativer Ring/Freier Modul/Ist projektiv/Fakt