[−][src]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. |
right_inverse | The right multiplicative inverse axiom. |