The divisibility orders of Z^n
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\}\).
- scientific article; zbMATH DE number 5523987
- A Lattice-Ordered Skew Field Is Totally Ordered If Squares Are Positive
- scientific article; zbMATH DE number 4066973
- Note on lattice-ordered rings with positive squares
- scientific article; zbMATH DE number 2208116
- Lattice-ordered groups with a prescribed minimum for given elements
- A topology on lattice ordered groups
- Finitely presented ordered groups
- scientific article; zbMATH DE number 1344825
- A new lattice construction
- Contribution à l'étude des groupes ordonnés
- Finitely generated groups of divisibility
- scientific article; zbMATH DE number 3540915 (Why is no real title available?)
- Semi-Valuations and Groups of Divisibility
- The weak approximation theorem for valuations
- Two counterexamples involving complete integral closure in finite- dimensional Prüfer domains
- Valuations and semi-valuations of graded domains
- The weak approximation theorem for valuations
- Extensions of semi-local rings sharing the same group of units
- scientific article; zbMATH DE number 3875356 (Why is no real title available?)
- scientific article; zbMATH DE number 4066973 (Why is no real title available?)
- The product of divisibility groups \((G_1, \mathcal O _1)\times (G_2,\mathcal O_2)\) with \(G_1\) finitely generated
This page was built for publication: The divisibility orders of \(\mathbb{Z}^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1283955)
