MDLUL/linear-algebraische Untergruppe
Start=linear-algebraische Untergruppe
MDLUL/linear-algebraische Untergruppe |
---|
Ziel=Lineare Gruppe/Algebraisch abgeschlossen/Zariski-abgeschlossen/Definition
Start=linear-algebraische Untergruppe
MDLUL/linear-algebraische Untergruppe |
---|
Ziel=Lineare Gruppe/Algebraisch abgeschlossen/Zariski-abgeschlossen/Definition