Definition:Canonical Mapping to Monoid Ring