# CommutativeGroup

`class CommutativeGroup[a: Type] with Group[a], CommutativeMonoid[a]`

SourceA trait for types that form a commutative group (abelian group)
i.e. groups where the `combine`

function is commutative.

The default instances for number define the additive inverse in the real numbers.