sentence1: the monoid m is a semilattice of groups provided m is a disjoint union of subgroups , that is , a disjoint union of subsemigroups each of which happens to be a group .
sentence2: when the monoid is a group , we obtain the following important consequence .