monoid ring

algebraic structure