Related papers: Twisted conjugacy in free groups and Makanin's que…

There is a well known injective homomorphism $\phi:{\mathcal {B}}_n \rightarrow {\rm Aut}(F_n)$ from the classical braid group ${\mathcal {B}}_n$ into the automorphism group of the free group $F_n$, first described by Artin. This…

Let $F_n$ be the free group on $n\ge 2$ elements and $\A(F_n)$ its group of automorphisms. In this paper we present a rich collection of linear representations of $\A(F_n)$ arising through the action of finite index subgroups of it on…

For a rational map $\phi$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $\sigma$ of $\varGamma$ induces a permutation of…

We introduce separability properties corresponding to generalized versions of the conjugacy, twisted conjugacy, Brinkmann and Brinkmann's conjugacy problems and how they relate when finite and cyclic extensions of groups are taken. In…

We generalize the classical Post correspondence problem ($\mathbf{PCP}_n$) and its non-homogeneous variation ($\mathbf{GPCP}_n$) to non-commutative groups and study the computational complexity of these new problems. We observe that…

We give an easily checkable algebraic condition which implies that two elements of a finitely generated free group are members of distinct doubly-twisted conjugacy classes with respect to a pair of homomorphisms. We further show that this…

In this article, we solve the twisted conjugacy problem with respect to endomorphisms for solvable Baumslag--Solitar groups $BS(1,n)$, i.e., we propose an algorithm which, given two elements $u,v \in BS(1,n)$ and an endomorphism $\psi \in…

Let $\Phi$ be a pseudo-Anosov diffeomorphism of a compact (possibly non-orientable) surface $\Sigma$ with one boundary component. We show that if $b \in \pi_1(\Sigma)$ is the boundary word, $\phi \in {\rm{Aut}}(\pi_1(\Sigma))$ is a…

We study finitely generated groups whose word problems are accepted by counter automata. We show that a group has word problem accepted by a blind n-counter automaton in the sense of Greibach if and only if it is virtually free abelian of…

In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new…

In this paper we fix a set \Lambda^* of positive elements of the free group F_n (e.g. the set of finite words occurring in a Markov subshift) as well as n partial isometries on a Hilbert space H. Based on these we define a map S:F_n -->…

We prove that the approximately inner automorphism group of a separable strongly stable von Neumann algebra is contractible in the u-topology. Thus the automorphism group of the hyperfinite type III_1 factor is contractible.

We compute the cohomology groups of the automorphism group of the free group $F_n$, with coefficients in arbitrary tensor products of the standard representation $H_1(F_n, \mathbb{Q})$ and its dual, in a range where $n$ is sufficiently…

We prove that for a suitably nice class of random substitutions, their corresponding subshifts have automorphism groups that contain an infinite simple subgroup and a copy of the automorphism group of a full shift. Hence, they are…

We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through…

We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have…

Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $\phi : Aut_{Z(G)}^{\gamma_{n}(G)}(G)…

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…

Let $G$ be a finitely presented group that can be written as an extension \[ 1 \longrightarrow K \longrightarrow G \longrightarrow F_2 \longrightarrow 1 \] where $K$ is either the finitely generated free group $F_n$, $n > 2$ or the…

We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…