Source author record

E. Ventura

E. Ventura appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR

Catalog footprint

What is connected

2works

1topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2013arXiv

Algorithmic problems for free-abelian times free groups

We study direct products of free-abelian and free groups with special emphasis on algorithmic problems. After giving natural extensions of standard notions into that family, we find an explicit expression for an arbitrary endomorphism of $\ZZ^m \times F_n$. These tools are used to solve several algorithmic and decision problems for $\ZZ^m \times F_n $: the membership problem, the isomorphism problem, the finite index problem, the subgroup and coset intersection problems, the fixed point problem, and the Whitehead problem.

preprint2010arXiv

On endomorphisms of torsion-free hyperbolic groups

Let $H$ be a torsion-free $δ$-hyperbolic group with respect to a finite generating set $S$. Let $a_1,..., a_n$ and $a_{1*},..., a_{n*}$ be elements of $H$ such that $a_{i*}$ is conjugate to $a_i$ for each $i=1,..., n$. Then, there is a uniform conjugator if and only if $W(a_{1*},..., a_{n*})$ is conjugate to $W(a_1,..., a_n)$ for every word $W$ in $n$ variables and length up to a computable constant depending only on $δ$, $\sharp{S}$ and $\sum_{i=1}^n |a_i|$. As a corollary, we deduce that there exists a computable constant $\mathcal{C}=\mathcal{C}(δ, \sharp S)$ such that, for any endomorphism $ϕ$ of $H$, if $ϕ(h)$ is conjugate to $h$ for every element $h\in H$ of length up to $\mathcal {C}$, then $ϕ$ is an inner automorphism. Another corollary is the following: if $H$ is a torsion-free conjugacy separable hyperbolic group, then $\text{\rm Out}(H)$ is residually finite. When particularizing the main result to the case of free groups, we obtain a solution for a mixed version of the classical Whitehead's algorithm.