ap.algebra
Groups are monoids that additionally have inverses
Domain of the semigroup
The neutral element of this monoid
Inverse elements
Binary operation of the semigroup
num * s
Groups are monoids that additionally have inverses