MDLUL/linear-algebraische Gruppe

Start=linear-algebraische Gruppe

MDLUL/linear-algebraische Gruppe

Ziel=Lineare Gruppe/Algebraisch abgeschlossen/Zariski-abgeschlossen/Definition