Module un_algebra::group::group

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.
GroupLaws	Laws of groups.