Kommutative Ringtheorie/Hauptidealbereich/Definition