Kommutative Ringtheorie/Einheitsideal/Definition