1: \begin{abstract}

2:  We construct an extension $\Ext(A,G)$ of a given group $G$ by infinite \nonarch words over an discretely ordered abelian group like $\Z^n$. This yields an effective and uniform method to study various  groups that "behave like $G$". We show that the \WP for finitely generated subgroups in the extension is decidable \IFF  the Cyclic Membership Problem in $G$ is decidable.  The present paper embeds  the partial

3: monoid of infinite words as defined by Myasnikov, Remeslennikov, and Serbin  in  \cite{MRS05} into  $\Ext(A,G)$. Moreover,  we define the extension 

4: group $\Ext(A,G)$ for arbitrary groups $G$ and not only for free groups

5: as done in previous work. We show some structural results about 

6: the group (existence and type of torsion elements, generation by elements of order 2)

7: and we show that some interesting HNN extensions of $G$ embed naturally in the

8: larger group $\Ext(A,G)$.

9: \end{abstract}

10: