Start=spezielle Matrix

MDLUL/spezielle Matrix

Ziel=Matrix/K/Spezielle lineare Gruppe/Definition