group¶
Group¶
Group
Mathematically a Group is a Monoid G all of whose elements
have multiplicative inverses.
Caution
No assumptions are made whether or not the group is Abelian.
Important
Contract: Group initializer parameters must have
mult closed and associative on reps
one an identity on reps,
rep*one == rep == one*repinv must me idempotent:
inv(inv(rep)) == rep