Module un_algebra::group::group

Algebraic group trait.

An algebraic group is a monoid M, where each group element g has a unique inverse element denoted g^-1.

Axioms

∀g ∈ M
 
Inverse: ∃g^-1 ∈ M: g ∘ g^-1 = g^-1 ∘ g = e.

References

See references for a formal definition of a group.

Traits

Group

An algebraic group.