In abstract algebra, a branch of mathematics, a maximal semilattice quotient is a commutative monoid derived from another commutative monoid by making certain elements equivalent to each other.
Every commutative monoid can be endowed with its algebraic preordering ≤ . By definition, x≤ y holds, if there exists z such that x+z=y. Further, for x, y in M, let
This terminology can be explained by the fact that the canonical projection p from M onto
If M is a refinement monoid, then