The divisibility orders of \(\mathbb{Z}^n\) (Q1283955)

Let \(D\) be a domain, \(K\) its quotient field, \(K^*:= K\setminus \{0\}\), \({\mathcal U}(D)\) the multiplicative subgroup of units of \(D\). According to \textit{W. Krull} [J. Reine Angew. Math. 167, 160-196 (1932; Zbl 0004.09802)] any totally ordered group \((G,\leq)\) arises as a group of divisibility \({\mathcal G}(D)\) of some domain \(D\), where the order \(\leq\) on \({\mathcal G}(D):= K^*/{\mathcal U}(D)\) is defined by \(x,y\in K^*\), \(x {\mathcal U}(D)\leq y{\mathcal U}(D)\leq{\mathcal U}(D) \Leftrightarrow yx^{-1}\in D\). This has been generalized to lattice ordered groups by \textit{P. Jaffard} [J. Math. Pures Appl. (9) 32, 203-280 (1953; Zbl 0051.01303)]. However, for general partially ordered groups for instance if \(G\) is a cardinal product of two totally ordered groups, the corresponding statement is false [cf. proposition 11 in the authors' paper reviewed above (Zbl 0940.12005)]. The authors determine up to isomorphism the divisibility orders on \(\mathbb{Z}^n\) \((n\in \mathbb{N}\) (Theorem 9)). They describe an algorithm which uses the archimedean total orders in \(\mathbb{Z}^i\), \(1\leq i\leq n\), to obtain the divisibility orders on \(\mathbb{Z}^n\). They obtain their goal in essentially two steps. Given the positive cone \({\mathcal D}\) of any divisibility order on \(\mathbb{Z}^n\) they first (Proposition 8) prove that \({\mathcal D}\) can be constructed using the positive cone \({\mathcal L}\) of a certain lattice order on \(\mathbb{Z}^n\), and a certain finite partition of the set \({\mathcal F}\) of ultrafilters on \({\mathcal L}\). In their second step they use their preceding results (loc. cit.) to describe \({\mathcal L}\) and \({\mathcal F}\) in terms of the positive cones of the archimedean orders on \(\mathbb{Z}^i\), \(1\leq i\leq n\). They apply this two-step procedure to determine the types of divisibility orders for \(n\in \{3,4,5\}\).