Dedekind cuts of Archimedean complete ordered abelian groups (Q1272102): Difference between revisions

If \(G\) is a linearly ordered abelian group, then the breadth of a Dedekind cut \((X,Y)\) of \(G\), written \(B(X,Y)\), is here defined as the largest convex subgroup \(G'\) of \(G\) for which \(x+| g'| \in X\) for all \(x\in X\) and all \(g'\in G'\). A Dedekind cut \((X,Y)\) of \(G\) is called \(B(X,Y)\)-continuous if \((X+B(X,Y),Y+B(X,Y))\) is a continuous cut in the linearly ordered factor group \(G/B(X,Y)\). The author proves that \(G\) is Archimedean complete if and only if every Dedekind cut \((X,Y)\) of \(G\) is \(B(X,Y)\)-continuous. Further he establishes a constructive proof that Dedekind cuts of Hahn groups are \(B(X,Y)\)-continuous.