Related papers: Homomorphisms from automorphism groups of free gro…

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 F_n be the free group of rank n, with generating set S=\{x_1,...,x_n\}. An automorphism \phi of F_n is called symmetric if for each 1\leq i\leq n, \phi(x_i) is conjugate to x_j or x_j^{-1} for some 1\leq j\leq n. Let \Sigma Aut(F_n) be…

Let $A_1,...,A_k$ be a system of free factors of $F_n$. The group of relative automorphisms $Aut(F_n;A_1,...,A_k)$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The…

Homology of the group Aut(F_n) of automorphisms of a free group on n generators is known to be independent of n in a certain stable range. Using tools from homotopy theory, we prove that in this range it agrees with homology of symmetric…

We study the existence of homomorphisms between Out(F_n) and Out(F_m) for n > 5 and m < n(n-1)/2, and conclude that if m is not equal to n then each such homomorphism factors through the finite group of order 2. In particular this provides…

For a real, non-singular, 2-step nilpotent Lie algebra $\mathfrak{n}$, the group \Aut(\mathfrak{n})/\Aut_0(\mathfrak{n})$, where $\Aut_0(\mathfrak{n})$ is the group of automorphisms which act trivially on the center, is the direct product…

We prove that the quotient map from Aut(F_n) to Out(F_n) induces an isomorphism on homology in dimension i for n at least 2i+4. This corrects an earlier proof by the first author and significantly improves the stability range. In the course…

The holomorph of a free group $F_n$ is the semidirect product $F_n \rtimes Aut(F_n)$. Using the methods of Hatcher and Vogtmann, we derive stability results and calculate the mod-$p$ homology of these holomorphs for odd primes $p$ in…

Let $\mathcal{A} = {A_1, ..., A_k}$ be a system of free factors of $F_n$. The group of relative automorphisms $\mathrm{Aut}(F_n; \mathcal{A})$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations…

Let F be an infinitely generated free group and R a fully invariant subgroup of F such that (a) R is contained in the commutator subgroup F' of F and (b) the quotient group F/R is residually torsion-free nilpotent. Then the automorphism…

The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

Let F_{n+m} be the free group of rank n+m, with generators x_1,...,x_{n+m}. An automorphism \phi of F_{n+m} is called partially symmetric if for each 1 \le i \le m, \phi(x_i) is conjugate to x_j or x_j^{-1} for some 1 \le j \le m. Let…

A countable graph is ultrahomogeneous if every isomorphism between finite induced subgraphs can be extended to an automorphism. Woodrow and Lachlan showed that there are essentially four types of such countably infinite graphs: the random…

We work with a finite relational vocabulary with at least one relation symbol with arity at least 2. Fix any integer $m > 1$. For almost all finite structures (labelled or unlabelled) such that at least $m$ elements are moved by some…

An endomorphism of a free group is called primitivity preserving if it takes every primitive element to another primitive. In this paper we prove that every primitivity preserving endomorphism of a free group of a finite rank n > 2 is an…

We prove that for a number of ultrahomogeneous structures $M$, including those with the free amalgamation property, the powers of the automorphism group ${\rm{Aut}}(M)^n$, $n=1,2,\ldots$, and the group $L_0({\rm{ Aut}}(M))$ of measurable…

Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. In this article we compute the automorphism group $\operatorname{Aut} F$ for four families of binary forms. The first two families that we are interested in…

The group of 2-by-2 matrices with integer entries and determinant $\pm > 1$ can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional…

For an epimorphism pi of the free group F_n onto a finite group G write Gamma(G,pi) for the group of all automorphisms f of F_n for which pi*f = pi. This is called the standard congruence subgroup of Aut(F_n) associated to G and pi. In the…