- 1.
- Für
berechnen wir eine Zeilenstufenform
Die ausgewählten Spalten sind
,
und
, und entsprechend können wir aus dem gegebenen erzeugenden Tupel Vektoren zu einer Basis
von
auswählen.
Für
berechnen wir eine Zeilenstufenform
Die ausgewählten Spalten sind
,
und
, und entsprechend können wir aus dem gegebenen erzeugenden Tupel Vektoren zu einer Basis
ausgewählt werden.
- 2.
-
Gemäß Zassenhaus-Algorithmus berechnen wir
Es war nicht direkt gefragt, nichtsdestoweniger können wir eine Basis
von
ablesen.
Darüberhinaus ist
eine Basis von
.
Insbesondere ist
was wir auch an der Zahl der Basisvektoren von
hätten erkennen können.