Kommutative Algebra/Definition