Kurs:Singularitätentheorie (Osnabrück 2019)/Monoidring/Erzeuger und Relationen/Ideal/Fakt/Faktreferenznummer