##  [Abelian Group](/abelian-group-2) 

 Definition

A group (G, ·) whose binary operation is commutative: for all a, b in G, a·b = b·a. Equivalently, a group in which every pair of elements commutes under the group law.

 

 

 

 

 

 





## Principle

Principle

Commutativity of the operation is the organizing constraint; it collapses left and right structure and allows linear-style manipulations (e.g., reordering factors) that simplify classification and module behaviour.

 

 

 

 

 





## Demonstration

Demonstration

The integers (Z, +) form an abelian group because m + n = n + m for all integers. The additive group of any ring or vector space is abelian; finite cyclic groups Z/nZ are abelian examples as well.

 

 

 

 

## Misapplication

Misapplication

Assuming that results valid for abelian groups (for example, that subgroups are automatically normal or that classification up to isomorphism is trivial) extend to non-abelian groups. Another mistake is treating an operation that is only conditionally commutative (commutes for some elements) as globally commutative.

 

 

 

 

 





## Consequence

Consequence

When a group is abelian, subgroup structure and quotient formation are simpler (all subgroups of cyclic groups are cyclic, many classification theorems apply), representations reduce to linear modules over Z or other rings, and tensor and homological methods become available.

 

 

 

 

## Reversal

Reversal

A non-abelian group retains the identity and inverses but lacks global commutativity: order matters and conjugation action becomes a central organizing phenomenon, enabling phenomena (commutator subgroups, simple non-abelian groups) absent in the abelian setting.

 

 

 

 

 





## Boundary

Boundary

This entry concerns pure commutativity of the group law. It does not treat additional structure such as ordered abelian groups, topological abelian groups, or abelian categories, nor does it include groups that are only locally or partially abelian.

 

 

 

 

 





## Semantic Tension

Semantic Tension

‘Abelian’ can be conflated with other uses of commutativity (for example, commutative rings): the tension is that abelian groups are modules over Z and behave like one-dimensional linear objects, whereas commutative rings carry multiplicative structure that changes classification and invariants.

 

 

 

 

 





## Synthesis

Synthesis

An abelian group is a commutative group: the symmetry of the law reduces complexity, enables module-theoretic viewpoints, and underpins many classification and homological techniques.