可換_monoid