Module un_algebra::group::mul_group

Algebraic 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.

Functions

inverse	The two sided multiplicative inverse axiom.
left_inverse	The left multiplicative inverse axiom.
num_inverse	The two sided numerical multiplicative inverse axiom.
num_left_inverse	The left numerical multiplicative inverse axiom.
num_right_inverse	The right numerical multiplicative inverse axiom.
right_inverse	The right multiplicative inverse axiom.