reduction (semigroup) tests