Kommutative Ringtheorie/Definition