Related papers: The Conjugacy Problem for $Out(F_3)$

We solve the twisted conjugacy problem on Thompson's group F. We also exhibit orbit undecidable subgroups of Aut(F), and give a proof that Aut(F) and Aut_+(F) are orbit decidable provided a certain conjecture on Thompson's group T is true.…

If $G_1$ and $G_2$ are torsion-free hyperbolic groups and $P<G_1\times G_2$ is a finitely generated subdirect product, then the conjugacy problem in $P$ is solvable if and only if there is a uniform algorithm to decide membership of the…

We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a…

The proof of the Tits alternative for $Out(F_n)$ is completed. The main tool is a Kolchin type theorem, proved in this paper. It states that a finitely generated subgroup of $Out(F_n)$ consisting of unipotent automorphisms can be conjugated…

We consider the conjugacy problem for the automorphism groups of a number of countable homogeneous structures. In each case we find the precise complexity of the conjugacy relation in the sense of Borel reducibility.

This paper exploits adjacencies between the orbits of an ordered set P and a consequence of the classification of finite simple groups to, in many cases, exponentially bound the number of automorphisms. Results clearly identify the…

The trialitarian automorphisms considered in this paper are the outer automorphisms of order 3 of adjoint classical groups of type D_4 over arbitrary fields. A one-to-one correspondence is established between their conjugacy classes and…

For a group $G$ of finite Kurosh rank and for some arbiratily free product decomposition of $G$, $G = H_1 \ast H_2 \ast ... \ast H_r \ast F_q$, where $F_q$ is a finitely generated free group, we can associate some (relative) outer space…

We present a normal form for outer automorphisms $\phi$ of a non-abelian free group $F_N$ which grow quadratically (measured through the maximal growth of conjugacy classes in $F_N$ under iteration of $\phi$). In analogy to the known normal…

It is proven in the paper, that Carter subgroups of a finite group are conjugate if Carter subgroups in the group of induced automorphisms for every non-Abelian composition factor are conjugate.

Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…

Weanalyzethecomputationalcomplexityofanalgorithmtosolve the conjugacy search problem in a certain family of metabelian groups. We prove that in general the time complexity of the conjugacy search problem for these groups is at most…

Continuing from the author's previous article 'Random walks and contracting elements I', we study random walks on (possibly asymmetric) metric spaces using the bounded geodesic image property (BGIP) of certain isometries. As an application,…

Let $F_{3}$ be the free group of rank $3$ and let $G_{3} = F_{3}/[F_{3}^{\prime\prime}, F_{3}, F_{3}]$, that is, $G_{3}$ is a free centre-by-centre-by-metabelian group of rank $3$. We show that ${\rm Aut}(G_{3})$ contains a proper finitely…

We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors.

For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable…

For any subgroup H of Out(F_n), either H has a finite index subgroup that fixes the conjugacy class of some proper, nontrivial free factor of F_n, or H contains a fully irreducible element phi, meaning that no positive power of phi fixes…

We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary…

Our goal is to find dynamic invariants that completely determine elements of the outer automorphism group $\Out(F_n)$ of the free group $F_n$ of rank $n$. To avoid finite order phenomena, we do this for {\it forward rotationless} elements.…

A graphs of rank n (homotopy equivalent to a wedge of n circles) without ``separating edges'' has a canonical n-dimensional compact C^1 manifold thickening. This implies that the canonical homomorphism f:Out(F_n)-> GL(n,Z) is trivial in…