abelian group

Abelian Group

Abelian Group

Mathematically an Abelian Group is a Commutative Monoid G all of whose elements have additive inverses.

Note

Addition is used for the group operation.

Important

Contract: AbelianGroup initializer parameters must have

• add closed, associative and commutative on reps

• zero additive identity on reps, rep.add(zero) == rep == zero.add(rep)

• negate must me idempotent: neg(neg(rep)) == rep