Start=Trägheitsgruppe

MDLUL/Trägheitsgruppe

Ziel=Dedekindbereich/Galoiserweiterung/Trägheitsgruppe/Definition