Groups and abelian groups
A group has associative composition, identity and inverses.
Key knowledge
A group is a set with a closed associative binary operation, an identity and an inverse for every element. It is abelian when any two elements commute.
Conditions and scope
- The operation and underlying set are part of the definition.
- Commutativity is an additional property, not a group axiom.
Sources · 1
References
Sources retain their recorded scope. A source link alone does not establish verification of every statement.
Evidence and review
Closed binary composition, associativity, identity, inverses; abelian distinction.
2026-10-10 · Group axioms and abelian distinction.
Entry details
Permanent link to this entry ↗- Record identity
- math-groups
- Revision
- university-reference.1
- Structured reference record
- University reference