Module un_algebra::com_group::add_com_group

Algebraic additive commutative group traits.

An algebraic additive commutative group is an additive group G, where group addition + is required to be commutative.

Axioms

∀g, h ∈ G
 
Commutativity: g + h = h + g.

References

See references for a formal definition of an additive commutative group.

Traits

AddComGroup	An algebraic additive commutative group.
NumAddComGroup	A "numeric" algebraic additive commutative group.