Vektorraum/Direkte Summe/Restklassenraum/Fakt

Es sei ein Körper und ein -Vektorraum mit einer direkten Summenzerlegung

in Untervektorräume und .

Dann ist