Kommutative Gruppe/Definition