Kommutative Ringtheorie/Hauptidealring und Bereich/Definition