We consider a natural generalization of the concept of order of an element in a group: an element g ¿ G is said to have order k in a subgroup H (resp., in a coset Hu) of a group G if k is the first strictly positive integer ...

We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products of free and abelian groups: after introducing enriched automata (i.e., automata with extra abelian labels), we ...

Let ¡ be an automorphism of a free group F 2 of rank 2 and let M ¡ = F 2 o ¡ Z be the corresponding mapping torus of ¡ . We prove that the group Out ( M ¡ ) is usually virtually cyclic. More- over, ...

(Free abelian)-by-free, self-similar groups generated by finite self-similar sets of tree automorphisms and having unsolvable conjugacy problem are constructed. Along the way, finitely generated, orbit undecidable, free ...

Let M be a finitely generated metabelian group explicitly presented in a variety A2 of all metabelian groups. An algorithm is constructed which, for every endomorphism ϕ ∈ End(M) identical modulo an Abelian normal subgroup ...