Start=Primhauptideal

MDLUL/Primhauptideal

Ziel=Idealtheorie/Primhauptideal/Definition