Kurs:Kommutative Algebra/Kommutativer Ring/Freier Modul/Ist projektiv/Fakt/Faktreferenznummer