Start=linear reduktiv

MDLUL/linear reduktiv

Ziel=Linear algebraische Gruppe/Linear reduktiv/Definition