Kommutative Ringtheorie/Fakt