Module un_algebra::group::mul_group

Multiplicative groups.

An algebraic multiplicative group is a multiplicative monoid M, where each invertible group element g has a unique multiplicative inverse denoted g^-1. The inverse operation is called invert.

Axioms

∀g, 1 ∈ M

Inverse: ∃g^-1 ∈ M: g × g^-1 = g^-1 × g = 1.

References

See references for a formal definition of a multiplicative group.

Traits

MulGroup	An algebraic multiplicative group.
MulGroupLaws	Laws of multiplicative groups.
NumMulGroupLaws	Numeric laws of multiplicative groups.