Abbreviation: AoGrp

An \emph{abelian ordered group} is an ordered group $\mathbf{A}=\langle A,+,-,0,\le\rangle$ such that

$+$ is commutative: $x+y=y+x$

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

Example 1: $\langle\mathbb Z,+,-,0,\le\rangle$, the integers with the usual ordering.

Every ordered group with more than one element is infinite.

None

Ordered groups

Abelian lattice-ordered groups