MDLUL/diagonalisierbar (lineare Gruppe)

Start=diagonalisierbar (lineare Gruppe)

MDLUL/diagonalisierbar (lineare Gruppe)

Ziel=Algebraische Gruppe/Diagonalisierbar/Definition