partially_ordered_semigroups

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

=====Partially ordered semigroups=====

Abbreviation: **PoSgrp**

====Definition====
A \emph{partially ordered semigroup} is a structure $\mathbf{A}=\langle A,\cdot,\le\rangle$ such that

$\langle A,\cdot\rangle$ is a [[semigroup]]

$\langle G,\le\rangle$ is a [[partially ordered set]]

$\cdot$ is \emph{orderpreserving}:  $x\le y\Longrightarrow xz\le yz \text{ and } zx\le zy$

==Morphisms==
Let $\mathbf{A}$ and $\mathbf{B}$ be partially ordered monoids. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is an orderpreserving homomorphism: 
$h(x \cdot y)=h(x) \cdot h(y)$,
$x\le y\Longrightarrow h(x)\le h(y)$

====Examples====
Example 1: The natural numbers larger than 1, with addition, or with multiplication.

====Basic results====


====Properties====

^[[Classtype]]                        |quasivariety  |
^[[Equational theory]]                | |
^[[Quasiequational theory]]           | |
^[[First-order theory]]               | |
^[[Locally finite]]                   | |
^[[Residual size]]                    | |
^[[Congruence distributive]]          | |
^[[Congruence modular]]               | |
^[[Congruence $n$-permutable]]        | |
^[[Congruence regular]]               | |
^[[Congruence uniform]]               | |
^[[Congruence extension property]]    | |
^[[Definable principal congruences]]  | |
^[[Equationally def. pr. cong.]]      | |
^[[Amalgamation property]]            | |
^[[Strong amalgamation property]]     | |
^[[Epimorphisms are surjective]]      | |

====Finite members====

$\begin{array}{lr}
  f(1)= &1\\
  f(2)= &11\\
  f(3)= &173\\
  f(4)= &\\
  f(5)= &\\
\end{array}$     

Gajdos Kuril 2014 Ordered semigroups of size at most 7 and linearly ordered semigroups of size at most 10, Semigroup Forum

Number of elements 5 6 7, values below are for partially ordered semigroups.

Semigroups 198838 13457454 4207546916

Commutative semigroups 37248 1337698 71748346

Monoids 13371 504634 32113642

Bands 20305 494848 14349957

Regular semigroups 22419 546386 15842224

Inverse semigroups 2886 44275 830584

2-nilpotent semigroups 243 1533 12038

3-nilpotent semigroups 14150 2561653 3215028097


====Subclasses====
[[Commutative partially ordered semigroups]]

[[Lattice-ordered semigroups]] expanded type


====Superclasses====
[[Partially ordered groupoids]]


====References====

[(Lastname19xx>
F. Lastname, \emph{Title}, Journal, \textbf{1}, 23--45 [[MRreview]] 
)]

Trace: • commutative_idempotent_involutive_residuated_lattices • lattice-ordered_groups • multiplicative_semilattices • near-rings • commutative_lattice-ordered_monoids • idempotent_semirings • graphs