Related papers: Universal sequences for the order-automorphisms of…

Let F_n denote the free group generated by n letters. The purpose of this article is to show that Hol(F_2), the holomorph of the free group on two generators, is linear. Consequently, any split group extension of F_2 by a linear group H is…

A universal sequence for a group or semigroup $S$ is a sequence of words $w_1, w_2, \ldots$ such that for any sequence $s_1, s_2, \ldots\in S$, the equations $w_n = s_n$, $n\in \mathbb{N}$, can be solved simultaneously in $S$. For example,…

Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism…

For each prime $p$ we construct a family $\{G_i\}$ of finite $p$-groups such that $|\Aut (G_i)|/|G_i|$ goes to $0$, as $i$ goes to infinity. This disproves a well-known conjecture that $|G|$ divides $|\Aut(G)|$ for every non-abelian finite…

For each countable group $Q$ we produce a short exact sequence $1\to N \to G \to Q\to 1$ where $G$ is f.g. and has a graphical $\frac16$ presentation and $N$ is f.g. and satisfies property $T$. As a consequence we produce a group $N$ with…

We study the group $IAut(A)$ generated by the inertial automorphisms of an abelian group $A$, that is, automorphisms $\gamma$ with the property that each subgroup $H$ of $A$ has finite index in the subgroup generated by $H$ and $H\gamma$.…

Suppose $M$ is a countable ab-initio (uncollapsed) generic structure which is obtained from a pre-dimension function with rational coefficients. We show that if $H$ is a subgroup of $\mbox{Aut}\left(M\right)$ with…

We study the automorphism group Aut(G) of a free product G of finite cyclic groups. We investigate the question in which cases Aut(G) has Serre's property FA. In the case of two or three free factors, we prove that Aut(G) does not have…

We obtain a number of analogues of the classical results of the 1960s on the general linear groups $\mathrm{GL}_n(\mathbf Z)$ and special linear groups $\mathrm{SL}_n(\mathbf Z)$ for the automorphism group $\Gamma_A=\mathrm{Aut}(A)$ of an…

We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the…

Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable…

In this short note we prove that a graph product $G_\Gamma$ of finitely generated abelian groups is semicomplete -- that is the kernel of the natural homomorphism ${\rm Aut}(G_\Gamma)\to{\rm Aut}(G_\Gamma^{ab})$ induced by the…

Consider a tree $\mathbb T$, all whose vertices have countable valence; its boundary is the Baire space $\mathbb{B} \simeq\mathbb{N}^{\mathbb N}$; continued fractions expansions identify the set of irrational numbers $\mathbb{R}\setminus…

It was previously shown by Grunewald and Lubotzky that the automorphism group of a free group, $\text{Aut}(F_n)$, has a large collection of virtual arithmetic quotients. Analogous results were proved for the mapping class group by Looijenga…

We show that there is an order-preserving embedding of the additive group of rational numbers $\mathbb{Q}$ into a 2-generator group $G$. The group $G$ can be chosen to be a solvable group $G$ of length 3, which is a minimal result in the…

In algebraic geometry over a variety of universal algebras $\Theta $, the group $Aut(\Theta ^{0})$ of automorphisms of the category $\Theta ^{0}$ of finitely generated free algebras of $\Theta $ is of great importance. In this paper,…

Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$…

This paper determines the structure of the automorphism group of the unit group \((U_{p^e}, \cdot)\) and the monoid \((\mathbb{Z}/p^e \mathbb{Z}, \cdot)\). For \( e \geq 5 \), we establish that the automorphism group \( \Aut(U_{2^e}, \cdot)…

We study the complex of partial bases of a free group, which is an analogue for $\Aut(F_n)$ of the curve complex for the mapping class group. We prove that it is connected and simply connected, and we also prove that its quotient by the…

In this manuscript, for $q:=2^n$ with $n\geq2$, we study two primitive maximal subgroups of the alternating group ${\sf A}_{q-1}$. These subgroups are the full automorphism groups of $2$-designs which are constructed from algebraic curves…