MDLUL/symbolische Potenz

Start=symbolische Potenz

MDLUL/symbolische Potenz

Ziel=Kommutativer Ring/Primideal/Symbolische Potenz/Definition