Kommutative Ringtheorie/Hauptidealring/Definition