Associative operation taking which combines two values.
Associative operation taking which combines two values.
Return the identity element for this monoid.
Return the identity element for this monoid.
Find the inverse of a
.
Find the inverse of a
.
combine(a, inverse(a))
= combine(inverse(a), a)
= empty
.
Given a sequence of as
, sum them using the monoid and return the total.
Given a sequence of as
, sum them using the monoid and return the total.
Given a sequence of as
, combine them and return the total.
Return a
appended to itself n
times.
Tests if a
is the identity.
Tests if a
is the identity.
Remove the element b
from a
.
Remove the element b
from a
.
Equivalent to combine(a, inverse(a))
Return a
combined with itself more than once.
Return a
combined with itself more than once.
An commutative group (also known as an abelian group) is a group whose combine operation is commutative.