Eine äquivalente Definition von projektiven Moduln ist, daß sie direkte Summanden von freien Moduln sind, d. h., P ist projektiv genau dann, wenn es einen weiteren Modul P′ gibt derart, daß P ⊕ P′ ein ...

Es sei L/K eine endliche separable Körpererweiterung, wobei K der Quotientenkörper eines Hauptidealrings Γ ist. Ein endlich erzeugter Modul \({\mathfrak{a}}\subset L\) über Γ heißt vollständiger Modul ...