Skip to main content
1 of 2

Compatible total orderings of the group $\mathbb{Z}^\mathbb{N}$

Given the additive group of the module $\mathbb{Z}^\mathbb{N}$ and a total ordering of the group that is compatible with addition and where $\chi_{\{n\}} > 0$ for all $n \in \mathbb{N}$, can we say for sure that $\chi_\mathbb{N} > 0$?

By "compatible" I mean that, for all $a, b, c \in \mathbb{Z}^\mathbb{N}$, if $a \le b$ then $a + c \le b + c$. By $\chi_S$ for some subset $S$ of $\mathbb{N}$ I mean the characteristic function, i.e. $\chi_S(n) = 1$ if $n \in S$ and $0$ otherwise.

In the context where this came up I need a proof without the axiom of choice; but I'm also interested in the answer in general.