Start=regulärer Ring

MDLUL/regulärer Ring

Ziel=Lokaler Ring/Regulär/Erzeugeranzahl/Definition