E7/Bis Anzahlgrad/Dimension/Aufgabe

Bestimme für die binäre Oktaedergruppe

die Dimension von für .