Lösung.
Gemäß dem Zassenhaus-Algorithmus rechnen wir
Also ist
eine Basis von
. Insbesondere ist
.
Ferner ist
eine Basis von
.