Modultheorie/Hauptidealbereiche/Sockel ist RmodRp-Vektorraum/Fakt

Aus Wikiversity

Es sei ein Hauptidealbereich, ein -Modul und ein Primelement.

Dann ist der -Sockel ein Vektorraum über dem Körper .