factor monoid