Definition isotypischer Komponenten hinzugefügt.
Isotypische Komponenten für halbeinfache Moduln hinzugefügt.
Bemerkungen zu isotypischen Komponenten hinzugefügt.