multiplicative monoid for Factor