Maximal semilattice quotient

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 $x\propto y$ hold, if there exists a positive integer n such that x≤ ny, and let $x\asymp y$ hold, if $x\propto y$ and $y\propto x$. The binary relation $\asymp$ is a monoid congruence of M, and the quotient monoid $M/{\asymp}$ is the maximal semilattice quotient of M.
This terminology can be explained by the fact that the canonical projection p from M onto $M/{\asymp}$ is universal among all monoid homomorphisms from M to a (∨,0)-semilattice, that is, for any (∨,0)-semilattice S and any monoid homomorphism f: M→ S, there exists a unique (∨,0)-homomorphism $g\colon M/{\asymp}\to S$ such that f=gp.

If M is a refinement monoid, then $M/{\asymp}$ is a distributive semilattice.

References

A.H. Clifford and G.B. Preston, The Algebraic Theory of Semigroups. Vol. I. Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I. 1961. xv+224 p.

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Lattice theory Algebra stubs Wikimedia Foundation. 2010. Игры ⚽ Нужна курсовая? Electro Illusion Dawid Nowak Look at other dictionaries: Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia Semigroup — This article is about the algebraic structure. For applications to differential equations, see C0 semigroup. In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup… …   Wikipedia Inverse semigroup — In mathematics, an inverse semigroup S is a semigroup in which every element x in S has a unique inverse y in S in the sense that x = xyx and y = yxy. Inverse semigroups appear in a range of contexts; for example, they can be employed in the… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”