Ist (kurz: ) eine Gruppe, in der zudem das Kommutativitätsgesetz
für alle
gilt, so nennt man (oder kurz auch ) abelsche Gruppe oder auch kommutative Gruppe.