A group whose binary operation is commutative, so that for all elements a and b one has a·b = b·a.

Principle

Abelian groups add the constraint of commutativity to the group axioms; the order of combining elements does not affect the result, which simplifies structure and classification.

Demonstration

The integers Z under addition form an abelian group because a+b=b+a for all integers; this commutativity underlies the classification of finitely generated abelian groups and linear algebra over Z.

Misapplication

Assuming commutativity in a nonabelian group (for example matrix multiplication generally fails to commute) leads to incorrect simplifications and invalid application of decomposition theorems.

Consequence

When a group is abelian one gains direct-sum decompositions, easier classification of subgroups and homomorphisms, and the ability to apply module and linear methods; many invariants simplify.

Reversal

Dropping commutativity yields the general notion of group where order matters and phenomena like nontrivial conjugation and simple nonabelian groups occur.

Boundary

Covers only groups with a commutative operation; excludes nonabelian groups, objects whose commutativity holds only for a subset of elements, and contexts where the operation is not globally defined.

Semantic Tension

Abelian group vs commutative ring additive group: the additive group of a ring is abelian, but the ring has extra multiplicative structure; abelian group vs vector space: abelian groups need not admit scalar multiplication over a field.

Synthesis

An abelian group is a group whose associative law is also commutative, producing a linear-like algebraic setting where combination order is irrelevant and classification and homological methods become effective.