Dachprodukt/Direkte Summe/Volle Dimension/Aufgabe

Es sei

eine direkte Zerlegung in Untervektorräume der Dimension und . Zeige, dass es eine kanonische Isomorphie

gibt.