Module un_algebra::com_group::mul_com_group

Algebraic multiplicative commutative group traits.

An algebraic multiplicative commutative group is a multiplicative group M, where group multiplication × is required to be commutative.

Axioms

∀g, h ∈ M
 
Commutativity: g × h = h × g.

References

See references for a formal definition of a multiplicative commutative group.

Traits

MulComGroup	An algebraic multiplicative commutative group.
NumMulComGroup	A "numeric" algebraic multiplicative commutative group.