The Diophantine problem in iterated wreath products of free abelian groups is undecidable

To prove 1) recall that G_i is generated as a normal subgroup by all simple left-normed commutators of the form [x_1, \ldots,x_i] where x_k \in \{a_1, \ldots,a_m,b_1, \ldots,b_n\}, k = 1,\ldots,i (this is true for any group G and x_i from any fixed generating set of G). Since N is abelian and G' \leq N any commutator [x_1, \ldots,x_i] where x_s \in N for some s>2 is equal to 1. Therefore, G_i is generated as a normal subgroup in G by the commutators [b_k,a_{j_1},\ldots ,a_{j_{i-1}}], as claimed.

To prove 2), note that

which implies 2).

To see 3) observe that N \simeq B \otimes_Z {\mathbb{Z}} A and B \otimes_{\mathbb{Z}} R_i is an R_i-module generated by B. The natural epimorphism {\mathbb{Z}} A \to R_i = {\mathbb{Z}} A/\Delta^i turns B \otimes_{\mathbb{Z}} R_i into a {\mathbb{Z}} A-module. Now, the identical homomorphism B \to B and the epimorphism {\mathbb{Z}} A \to R_i = {\mathbb{Z}} A/\Delta^i give rise to an epimorphism

To prove 3) it suffices to note that \ker \theta = N^{\Delta^i}.

Clearly, 2) and 3) imply 4).

For 5) note that G_i/G_{i+1} is freely generated as an abelian group by elements [b_k,a_{j_1},\ldots ,a_{j_{i-1}}], where j_1\leq\ldots \leq j_{i-1}, k=1,\ldots ,n. Indeed, it follows from 1) and 2) that G_i/G_{i+1} is isomorphic as an abelian group to N^{\Delta^{i-1}}/N^{\Delta^{i}}. It also follows from 2) that the images of the elements b_k^{(a_{j_1}-1)\ldots (a_{j_{i-1}}-1)} in the quotient N^{\Delta^{i-1}}/N^{\Delta^{i}} generate this quotient. Since the ring {\mathbb{Z}} A is commutative we can always reorder factors in {(a_{j_1}-1)\ldots (a_{j_{i-1}}-1)} and assume that j_1\leq\ldots \leq j_{i-1}. This set still generates the quotient as an abelian group. Moreover, there are no non-trivial relations between these elements. To see this, it suffices to notice that every polynomial P \in {\mathbb{Z}}[a_1, \ldots,a_m] can be uniquely decomposed as a polynomial with integer coefficients in "new variables" y_i = a_i -1. Indeed, the map a_1 \to a_1-1, \ldots, a_m \to a_m -1 extends to an endomorphism \psi of {\mathbb{Z}}[a_1, \ldots,a_m] (since {\mathbb{Z}}[a_1, \ldots,a_m] is a free commutative ring with basis a_1, \ldots,a_m). In fact, \psi is a bijection because there is an inverse map induced by the map a_1 \to a_1+1, \ldots, a_m \to a_m +1. It follows that P = \psi(\psi^{-1}(P)) is the required decomposition. It is unique since \psi is an automorphism. Now it is clear that the elements b_k^{(a_{j_1}-1)\ldots (a_{j_{i-1}}-1)}, where j_1\leq\ldots \leq j_{i-1}, k=1,\ldots ,n form a basis of N^{\Delta^{i-1}} modulo N^{\Delta^{i}}. This proves 5).

6) follows from 5) since extensions of torsion-free groups are again torsion-free.

For any non-trivial g\in N, every element in N commutes with g and every element in A does not commute with g. Since elery element in G is a product of an element in N and an element in A, this gives 1) and 2). Since A is abelian, for any a\in A, A\subseteq C_G(a). And a does not commute with any non-trivial g\in N, this gives 3).

To interpret H = G/N in G by equations take D = G and put \phi: D \to H defined by \phi: x \to xN. Let \wedge_i S_i(z,\bar y) = 1 be a finite system of equations (with constants from G) such that the Diophantine formula \exists \bar y (\wedge_i S_i(z,\bar y) = 1 defines N in G. Denote by graph_= the graph of the equality = in G/N. Then

Hence \phi^{-1}(graph_=) is defined in G by the following Diophantine formula

Similarly, the \phi-preimage of the multiplication in G/N is defined in G by the formula

The \phi-preimage of the identity 1_H in H is precisely N, which is Diophantine in G. The \phi-preimage of inversion in G/N is also Diophantine in G. This finishes the proof.

In the notation of Section ? G \simeq N \rtimes H, where N is the normal closure of K in G.

Suppose first that K is abelian. Then by the property 3) from Section ? N = C_G(b), where b \neq 1 is an arbitrary element from K. Hence N is defined by equations in G. By Lemma 3 the group H \simeq G/N is interpretable by equations in G. Since the Diophantine problem in H is undecidable it follows from Corollary 1 that the Diophantine problem in G is undecidable. This proves 1).

To prove 2) assume that the group K is finite and H is torsion-free. Let n = |K|. Then every element in K satisfies the equation x^n = 1. Since N is a direct product of copies of groups K every element in N also satisfies this equation. Because H is torsion-free no element in G\smallsetminus N has torsion. Hence the formula x^n = 1 defines N in G, hence N is definable by equations in G. Now the argument from 1) finishes the proof.

It follows immediately from Lemma 2.

The ideal \Delta^i is generated by finitely many products of the type

where \alpha = (\alpha_1, \ldots,\alpha_m), \alpha_i \in \mathbb{N} and |\alpha| = \alpha_1+ \ldots \alpha_m = i. Denote

Hence

Note that

where a_1 appears \alpha_1 times in the commutator above, a_2 appears \alpha_2 times, and so on. We denote such a commutator by [y_\alpha,a_1,\ldots,a_1, a_2, \ldots, a_m, \ldots a_m]_\alpha Denote

Then x \in N^{\Delta^i} if and only if the following system in variables x, x_\alpha, y_\alpha (\alpha \in \mathcal A_i) has a solution in G:

Hence the result.

1) \Longrightarrow 3). Let g \in \langle a\rangle, so g = a^\gamma for some \gamma \in {\mathbb{Z}}. Clearly [g,a] =1. Fix u \in N. If \gamma >0 then take

In this case

as claimed. If \gamma <0 then take

The case \gamma = 0 is obvious.

Obviously, 3) \Longrightarrow 2). To prove the lemma it suffices to show that 2) \Longrightarrow 1). Let g \in A such that

for some g \in A, g \neq 1 and z \in N. We need to show that g=a^\gamma for some \gamma \in {\mathbb{Z}}.

Note first that in a free abelian group A there is an automorphism \theta \in Aut A that maps a to a_1^\beta for some positive \beta \in {\mathbb{N}}. Replacing the basis \{a_1, \ldots, a_m\} of A with basis \{\theta(a_1), \dots, \theta(a_m)\}, if necessary, we may assume that a = a_1^\beta.

If z = 1 then g=1 = a^0. Suppose z \neq 1 and write z as z = \Pi_i b_i^{Q_i} for some Laurent polynomials Q_i \in {\mathbb{Z}} A. Then the equality (?) above takes the form

Since b_1, \ldots,b_n is a basis of the free module N, one gets Q_i = 0 for all i >1. Hence

in the ring {\mathbb{Z}} A. Since g \in A it is a product g = \Pi_{i =1} ^m a_i^{\gamma_i} for some \gamma_i \in {\mathbb{Z}}, we can write g = \frac{g_1}{g_2}, where g_1 is a product of all a_i^{\gamma_i} with \gamma_i >0 and g_2 is a product of all a_i^{|\gamma_i|} with \gamma_i < 0. Note that g_1 and g_2 do not have common variables. Now,

and therefore Q_1 = \frac{P_1}{g_2}, where P_1 is an ordinary polynomial from {\mathbb{Z}}[a_1, \ldots,a_m]. Hence, we have an equality

in the ring of polynomials {\mathbb{Z}}[a_1, \ldots,a_m]. Consider a monomial order in monomials of {\mathbb{Z}}[a_1, \ldots,a_m], for example the deglex order were monomials are compared first by their degree and if they have the same degree then with respect to a lexicographical ordering. Write P_1 as a sum of terms M_j (i.e., monomials with integer coefficients)

where M_1 > M_2 > \ldots M_k in the deglex order. Then the equation (?) becomes

Clearly, M_1a_1^\beta is the leading term on the right and -M_k is the smallest one, so they both cannot cancel out on the right-hand side. Then, assuming g_1 > g_2 we have g_1 = M_1a_1^\beta and g_2 = M_k. Observe, that g_1 contains a_1 and g_2 does not. Now, the equality (?), after canceling equal terms, turns into

which again has the form (?). By induction, M_i = M_{i+1}a_1^\beta for all i = 1, \ldots,k-1. In particular, g_2 divides g_1. Since g_1 and g_2 do not have common divisors besides 1 and -1, we deduce that g_2 = \pm1, and from g = \frac{g_1}{g_2} we have g_2 = 1. It follows that P_1 = a_1^{\beta(k-1)} + \ldots a_1^\beta +1 and g = g_1 = a^{k\beta} for some k >0. However, if we assume above that g_2 contains a_1. Then a similar argument shows that in this case g_1 = 1 and g_2 = a_1^{k\beta} for some k>0, so g = a_1^{-k\beta}, as claimed.

Fix a =a_1 \in A and b = b_1 \in B. Let f(z_1, \ldots,z_s) \in {\mathbb{Z}}[z_1, \ldots,z_s]. Then f is a finite sum

where 0\neq t_\alpha \in {\mathbb{Z}}, \alpha = (\alpha_1, \ldots,\alpha_s) \in {\mathbb{N}}^s, z^\alpha = z_1^{\alpha_1} \ldots z_s^{\alpha_s}, and {\mathcal{A}} a finite subset of {\mathbb{N}}^s. Let d = \max\{\alpha_1 + \ldots+ \alpha_s \mid \alpha = (\alpha_1, \ldots, \alpha_s) \in {\mathbb{Z}}\} be the maximal degree of all monomials z^\alpha that appear in f. With every term t_\alpha z^\alpha, \alpha \in {\mathcal{A}}, (here we view z_1, \ldots,z_s as arbitrary integers), we associate an element from {\mathbb{Z}} A:

where x_i \in \langle a\rangle, hence x_i = a^{z_i} for some z_i \in {\mathbb{Z}}, for i = 1, \ldots,s.

If z_i \geq 0 then

for some polynomials g_i, h_i \in {\mathbb{Z}} A.

If z_i < 0 then

Hence for arbitrary z_i \in {\mathbb{Z}} one has

for some non-negative integer \gamma_i and some h_i \in {\mathbb{Z}} A. Therefore,

for some non-negative integer \beta_\alpha and a polynomial h_\alpha \in \Delta^{d+1}. Since a^{-\beta_\alpha} = (a^{-\beta_\alpha} -1) +1 and (a^{-\beta_\alpha} -1) \in \Delta we have

for some h_\alpha' \in \Delta^{d+1}. It follows then that

for some h_f \in \Delta^{d+1}.

We claim that

Indeed, if \Sigma_{\alpha \in {\mathcal{A}}}t_\alpha z^\alpha =0 then e_f = h_f \in \Delta^{d+1}.

On the other hand, if

then \Sigma_{\alpha \in {\mathcal{A}}}t_\alpha z^\alpha = 0 since (a-1)^d \not \in \Delta^{d+1}.

Now we are ready to construct a finite system of equations S_f with coefficients in G which has a solution in G if and only if f =0 has a solution in {\mathbb{Z}}. Observe first, that since b = b_1 is a part of a free basis of {\mathbb{Z}} A-module N one has

It suffices now to show that the condition b^{e_f} \in N^{\Delta^{d+1}} can be defined by a finite system of equations in G.

As we have seen in Lemma 6 for an arbitrary u \in N and 1 \neq x \in A one has

By Corollary 2 The condition x_i \in \langle a\rangle holds if and only if the following system has a solution in G:

It is straightforward now to write down a finite system of group equations S_\alpha(y,x_1, \ldots,x_s,a_1,b_1) such that for an element u_\alpha \in N

if and only if the system S_\alpha(u_\alpha,x_1, \ldots,x_s,a_1,b_1) holds in G for the corresponding elements x_1, \ldots,x_n \in \langle a \rangle. Observe, that

Hence the following finite system of equations

holds in G for y = u if and only if u = b_1^{e_f}.

Finally, by Lemma 6 there is a finite system of equations S_{d+1}(x,\bar x_\alpha, \bar y_\alpha, a,b) which holds in G for x = b_1^{e_f} and some values for tuples of variables \bar x_\alpha and \bar y_\alpha if and only if b^{e_f} \in N^{\Delta^{d+1}}.

This finishes the proof.

The result follows from Theorem 4.1 and undecidability of the Diophantine problem in {\mathbb{Z}}.

If k = 2 then the result follows from Theorem 4.2. Assume that k >2. Then G \simeq A_k \,{\rm wr}\, H, where H = IWP_R(A_{k-1}, \ldots,A_1). By induction the Diophantine problem in H is undecidable. Since A_k is abelian the result follows from Theorem 3.1.