We construct an extension E(A,G) of a given group G by infinite nonArchimedean words over an discretely ordered abelian group like Z. This yields an effective and uniform method to study various groups that ”behave like G”. We show that the Word Problem for f.g. subgroups in the extension is decidable if and only if and only if the Cyclic Membership Problem in G is decidable. The present paper ...
