Monoid algebraic structure