[−][src]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. |