Structure of commutative cancellative subarchimedean semigroups. (Q2455385)

A commutative semigroup \(S\) is called subarchimedian if there is an element \(z\in S\) such that for every \(a\in S\) there exist a positive integer \(n\) and an element \(x\in S\) such that \(z^n=ax\). The main result is a structure theorem for cancellative subarchimedian semigroups. This structure theorem is based on a construction related to Abelian Schreier extensions of Abelian groups. The semigroups used in the structure theorem are also described in terms of the Mal'cev product.