Module un_algebra::group::add_group

Algebraic additive groups.

An algebraic additive group is an additive monoid M, where each group element g has a unique additive inverse element denoted -g. The inverse operation is called negation.

Axioms

∀g, 0 ∈ M

Inverse: ∃-g ∈ M: g + -g = -g + g = 0.

References

See references for a formal definition of an additive group.

Traits

AddGroup

An algebraic additive group.

Functions

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