The twisted conjugacy problem for endomorphisms of metabelian groups Authors E. Ventura University Politécnica de Catalunya V. A. Roman’kov Dostoevskii Omsk State University Article

First Online: 06 June 2009 Received: 25 December 2008 DOI :
10.1007/s10469-009-9048-y

Cite this article as: Ventura, E. & Roman’kov, V.A. Algebra Logic (2009) 48: 89. doi:10.1007/s10469-009-9048-y
Let M be a finitely generated metabelian group explicitly presented in a variety \( {\mathcal{A}}^2 \) of all metabelian groups. An algorithm is constructed which, for every endomorphism φ ∈ End(M ) identical modulo an Abelian normal subgroup N containing the derived subgroup M ′ and for any pair of elements u , v ∈ M , decides if an equation of the form (xφ )u = vx has a solution in M . Thus, it is shown that the title problem under the assumptions made is algorithmically decidable. Moreover, the twisted conjugacy problem in any polycyclic metabelian group M is decidable for an arbitrary endomorphism φ ∈ End(M ).

Keywords
metabelian group
twisted conjugacy
endomorphism
fixed points
Fox derivatives
Supported by RFBR (project No. 07-01-00392). (V. A. Roman’kov)

Translated from Algebra i Logika , Vol. 48, No. 2, pp. 157–173, March–April, 2009.

References 1.

P. Hall, “Finiteness conditions for soluble groups,”

Proc. London Math. Soc., III. Ser. ,

4 , 419–436 (1954).

MATH CrossRef 2.

P. Hall, “On the finiteness of certain soluble groups,”

Proc. London Math. Soc., III. Ser. ,

9 , 595–622 (1959).

MATH CrossRef 3.

G. Baumslag, F. B. Cannonito, and D. J. Robinson, “The algorithmic theory of finitely generated metabelian groups,”

Trans. Am. Math. Soc. ,

344 , No. 2, 629–648 (1994).

MATH CrossRef MathSciNet 4.

V. N. Remeslennikov and V. A. Roman’kov, “Algorithmic and model-theoretic problems in groups,” in

Itogi Nauki Tekhniki. Algebra, Geometry, and Topology ,

21 , 3–79 (1983).

MathSciNet 5.

G. A. Noskov, “Conjugacy problem in metabelian groups,”

Mat. Zametki ,

31 , No. 4, 495–507 (1982).

MATH MathSciNet 6.

V. Schpilrain and A. Ushakov, “An authentication scheme based on the twisted conjugacy problem,” arXiv: math. GR/08052701v1 (2008).

7.

V. Roman’kov and E. Ventura, “On the twisted conjugacy problem for endomorphisms of nilpotent groups,” to appear.

8.

V. Roman’kov and E. Ventura, “The twisted conjugacy problem for endomorphisms of polycyclic groups,” to appear.

9.

A. Fel’shyn and E. Troitsky, “Twisted conjugacy separable groups,” arXiv: math. GR/0606764v2 (2006).

10.

V. N. Remeslennikov, “Conjugacy in polycyclic groups,”

Algebra Logika ,

8 , No. 6, 712–725 (1969).

MathSciNet 11.

E. Formanek, “Conjugate separability in polycyclic groups,”

J. Alg. ,

42 , 1–10 (1976).

MATH CrossRef MathSciNet 12.

O. G. Kharlampovich, “A finitely presented solvable group with undecidable word problem,”

Izv. Akad. Nauk SSSR, Ser. Mat. ,

45 , No. 4, 852–873 (1981).

MATH MathSciNet 13.

L. Fuchs, Infinite Abelian Groups , Vols. 1/2, Academic Press, New York (1973).

14.

A. Seidenberg, “Constructions in a polynomial ring over the ring of integers,”

Am. J. Math. ,

100 , 685–706 (1978).

MATH CrossRef MathSciNet 15.

R. H. Fox, “Free differential calculus. I: Derivation in the free group ring,”

Ann. Math. (2) ,

57 , 547–560 (1953).

CrossRef 16.

R. H. Fox, “Free differential calculus. II: The isomorphism problem of groups,”

Ann. Math. (2) ,

59 , 196–210 (1954).

CrossRef 17.

R. H. Fox, “Free differential calculus. III: Subgroups,”

Ann. Math. (2) ,

64 , 407–419 (1956).

CrossRef 18.

R. H. Fox, “Free differential calculus. V: The Alexander matrices reexamined,”

Ann. Math. (2) ,

71 , 408–422 (1960).

CrossRef 19.

N. Gupta,

Free Group Rings, Cont. Math. ,

66 , Am., Math., Soc., Providence, RI (1987).

MATH © Springer Science+Business Media, Inc. 2009