Module un_algebra::group::group

Algebraic groups.

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

Axioms

∀g, e ∈ 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.

Functions

inverse	The two-sided inverse axiom.
left_inverse	The left inverse axiom.
right_inverse	The right inverse axiom.