In mathematics, an ordered semigroup is a semigroup (S,•) together with a partial order ≤ that is compatible with the semigroup operation, meaning that x ≤ y implies z•x ≤ z•y and x•z ≤ y•z for all x, y, z in S.

An ordered monoid and an ordered group are, respectively, a monoid or a group that are endowed with a partial order that makes them ordered semigroups. The terms posemigroup, pogroup and pomonoid are sometimes used, where "po" is an abbreviation for "partially ordered".

The positive integers, the nonnegative integers and the integers form respectively a posemigroup, a pomonoid, and a pogroup under addition and the natural ordering.

Every semigroup can be considered as a posemigroup endowed with the trivial (discrete) partial order "=".

A morphism or homomorphism of posemigroups is a semigroup homomorphism that preserves the order (equivalently, that is monotonically increasing).

Category-theoretic interpretation

edit

A pomonoid (M, •, 1, ≤) can be considered as a monoidal category that is both skeletal and thin, with an object of for each element of M, a unique morphism from m to n if and only if m ≤ n, the tensor product being given by •, and the unit by 1.

References

edit
  • T.S. Blyth, Lattices and Ordered Algebraic Structures, Springer, 2005, ISBN 1-85233-905-5, chap. 11.
Stub icon

This abstract algebra–related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Semigroup

appears in the theory of one-parameter operator semigroups: see C0-semigroup. The binary operation of a semigroup is most often denoted multiplicatively: x

Semigroup Forum

research in semigroup theory. Coverage in the journal includes: algebraic semigroups, topological semigroups, partially ordered semigroups, semigroups of measures

Special classes of semigroups

mathematics, a semigroup is a nonempty set together with an associative binary operation. A special class of semigroups is a class of semigroups satisfying

Archimedean property

of Syracuse, is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, as typically construed, states

Nilsemigroup

precisely in semigroup theory, a nilsemigroup or nilpotent semigroup is a semigroup whose every element is nilpotent. Formally, a semigroup S is a nilsemigroup

Bicyclic semigroup

In mathematics, the bicyclic semigroup is an algebraic object important for the structure theory of semigroups. Although it is in fact a monoid, it is

Semigroup with three elements

In abstract algebra, a semigroup with three elements is an object consisting of three elements and an associative operation defined on them. The basic

Variety of finite semigroups

Varieties of finite monoids, varieties of finite ordered semigroups and varieties of finite ordered monoids are defined similarly. This notion is very