Totally Ordered Abelian Group Isomorphism

Theorem
Let $$\left({\mathbb{Z}', +'; \le'}\right)$$ be a totally ordered abelian group.

Let $$0'$$ be the identity of $$\left({\mathbb{Z}', +'; \le'}\right)$$.

Let $$\mathbb{N}' = \left\{{x \in \mathbb{Z}': x \ge' 0'}\right\}$$.

Let $$\mathbb{Z}'$$ contain at least two elements.

Let $$\mathbb{N}'$$ be well-ordered for the ordering induced on $$\mathbb{N}'$$ by $$\le'$$.

Then the mapping $$g: \mathbb{Z} \to \mathbb{Z}'$$ defined by:

$$\forall n \in \mathbb{Z}: g \left({n}\right) = \left({+'}\right)^n 1'$$

is an isomorphism from $$\left({\mathbb{Z}, +; \le}\right)$$ onto $$\left({\mathbb{Z}', +'; \le'}\right)$$, where $$1'$$ is the minimal element of $$\mathbb{N}' - \left\{{0'}\right\}$$.

Proof

 * First we establish that $$g$$ is a homomorphism.

Suppose $$z \in \mathbb{Z}'$$ such that $$z \ne 0'$$.

Then by Ordering of Inverses, either $$z >' 0'$$ or $$-z >' 0'$$.

Thus either $$z \in \mathbb{N}' - \left\{{0'}\right\}$$ or $$-z \in \mathbb{N}' - \left\{{0'}\right\}$$ and thus $$\mathbb{N}' - \left\{{0'}\right\}$$ is not empty.

Therefore $$\mathbb{N}' - \left\{{0'}\right\}$$ has a minimal element. Call this $$1'$$.

It is clear that $$\mathbb{N}'$$ is an ordered semigroup satisfying NO 1, NO 2 and NO 4 of Naturally Ordered Semigroup.

Also:

Thus $$\mathbb{N}'$$ also satisfies NO 3 of Naturally Ordered Semigroup.

So $$\left({\mathbb{N}', +'; \le'}\right)$$ is a naturally ordered semigroup.

So, by Naturally Ordered Semigroups Isomorphism Unique, the restriction to $$\mathbb{N}$$ of $$g$$ is an isomorphism from $$\left({\mathbb{N}, +; \le}\right)$$ to $$\left({\mathbb{N}', +'; \le'}\right)$$.

By Index Law for Sum of Indices, $$g$$ is a homomorphism from $$\left({\mathbb{Z}, +}\right)$$ into $$\left({\mathbb{Z}', +'}\right)$$.


 * Next we establish that $$g$$ is surjective.

Let $$y \in \mathbb{Z}': y <' 0'$$.

Therefore $$g$$ is a surjection.


 * Now we show that $$g$$ is a monomorphism, that is, it is injective.

Let $$n < m$$.

Therefore it can be seen that $$g$$ is strictly increasing.

It follows from Monomorphism from Total Ordering that $$g$$ is a monomorphism from $$\left({\mathbb{Z}, +; \le}\right)$$ to $$\left({\mathbb{Z}', +'; \le'}\right)$$.


 * A surjective monomorphism is an isomorphism, and the result follows.