Kommutative Ringtheorie/Hauptideal/Definition/Begriff