Module over a -monoid

Regular representation

The regular representation of an -monoid is a natural Representation of carried by itself, where

Thus every -monoid is a module over itself.

#state/tidy | #lang/en | #SemBr