Related papers: Spherical quadratic equations in free metabelian g…
We obtain asymptotic upper bounds for the number of natural solutions of the following diagonal Diophantine equations in a hypercube with side - $N$ in the paper: $x_1 = x_2^k+...+x_s^k$, $x_1^k = x_2^k+...+x_s^k$, $x_1 = \sum_{j=2}^s…
We prove that if two finite metacyclic groups have isomorphic rational group algebras, then they are isomorphic. This contributes to understand where is the line separating positive and negative solutions to the Isomorphism Problem for…
It is known that the existential theory of equations in free groups is decidable. This is a famous result of Makanin. On the other hand it has been shown that the scheme of his algorithm is not primitive recursive. In this paper we present…
We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela); and…
These notes represent an extended version of a talk I gave for the participants of the IMO 2009 and other interested people. We introduce diophantine equations and show evidence that it can be hard to solve them. Then we demonstrate how one…
We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…
In this paper, we prove a theorem about the integer solutions to the Diophantine equation $x^{4}-q^{4}=py^{r}$, extending previous work of K.Gy\H ory, and F.Luca and A.Togbe, and of the author.
Motivated by questions in cryptography, we look for diophantine equations that are hard to solve but for which determining the number of solutions is easy.
We develop a method to show that some (abstract) groups can be embedded into a free pro-$p$ group. In particular, we show that a finitely generated subgroup of a free $\mathbb Q$-group can be embedded into a free pro-$p$ group for almost…
It is a generalization of Pell's equation $x^2-Dy^2=0$. Here, we show that: if our Diophantine equation has a particular integer solution and $ab$ is not a perfect square, then the equation has an infinite number of solutions; in this case…
In this short note we present a method of solving this Diophantine equation, method which is different from Ljunggren's, Mordell's, and R.K.Guy's.
We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $\Sigma^0_3$-complete. However, when we consider groups of infinite rank, it becomes $\Sigma^1_1$-complete,…
We show that a finite number of commuting diffeomorphisms with simultaneously Diophantine rotation numbers are smoothly conjugated to roations.
We investigate the ability of a free pro-$\CC$ group of infinite rank to abstractly solve abstract embedding problems, and conclude that for some varieties $\CC$, the profinite completion of any order, of a free pro-$\CC$ group of infinite…
We show that the Membership Problem for finitely generated subgroups of 3-manifold groups is solvable.
In this paper we study the complexity of solving orientable quadratic equations in wreath products $A\wr B$ of finitely generated abelian groups. We give a classification of cases (depending on genus and other characteristics of a given…
We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [EM],(p.453). There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly lambda-free ones…
In this paper we study the parameterized complexity of two well-known permutation group problems which are NP-complete. 1. Given a permutation group G=<S>, subgroup of $S_n$, and a parameter $k$, find a permutation $\pi$ in G such that…
We prove that for every prime $p$ algebraically clean graphs of groups are virtually residually $p$-finite and cohomologically $p$-complete. We also prove that they are cohomologically good. We apply this to certain $2$-dimensional Artin…
An abelian group acting freely on a $\mathrm{CAT}(0)$ cube complex is free abelian.