E7/Bis Anzahlgrad/Dimension/Aufgabe

Aus Wikiversity

Bestimme für die binäre Oktaedergruppe

die Dimension von für .