Related papers: The IA-congruence kernel of high rank free Metabel…

The congruence subgroup problem for a finitely generated group $\Gamma$ asks whether the map $\hat{Aut\left(\Gamma\right)}\to Aut(\hat{\Gamma})$ is injective, or more generally, what is its kernel $C\left(\Gamma\right)$? Here $\hat{X}$…

The congruence subgroup problem for a finitely generated group $\Gamma$ asks whether $\widehat{Aut\left(\Gamma\right)}\to Aut(\hat{\Gamma})$ is injective, or more generally, what is its kernel $C\left(\Gamma\right)$? Here $\hat{X}$ denotes…

The congruence subgroup problem for a finitely generated group $\Gamma$ and $G\leq Aut(\Gamma)$ asks whether the map $\hat{G}\to Aut(\hat{\Gamma})$ is injective, or more generally, what is its kernel $C\left(G,\Gamma\right)$? Here $\hat{X}$…

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…

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$.…

Let F_n be the free group of rank n and let Aut^+(F_n) be its special automorphism group. For an epimorphism pi : F_n -> G of the free group F_n onto a finite group G we call Gamma^+(G,pi) = {f in Aut^+(F_n) | pi*f = pi} the standard…

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…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

For a positive integer $n$, with $n \geq 2$, let $M_n$ be a free metabelian group of rank $n$. For $c \in \mathbb{N}$, let $\gamma_c(M_n)$ be the $c$-th term of the lower central series of $M_n$. For $c \geq 2$, let ${\rm I}_{c}{\rm…

Let $IA_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let $\mathcal I_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surface of genus $n$ with $b$ boundary components, $b=0,1$. In…

Given an arbitrary, finitely presented, residually finite group $\Gamma$, one can construct a finitely generated, residually finite, free-by-free group $M_\Gamma = F_\infty\rtimes F_4$ and an embedding $M_\Gamma \hookrightarrow (F_4\ast…

Let $\Gamma(S)$ be the pure mapping class group of a connected orientable surface $S$ of negative Euler characteristic. For ${\mathscr C}$ a class of finite groups, let $\hat{\pi}_1(S)^{\mathscr C}$ be the pro-${\mathscr C}$ completion of…

Let $\mathcal{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…

Suppose $G$ is a $\mathcal{T}$-group (finitely generated torsion-free nilpotent) with centralizers outside of the derived subgroup being abelian of rank equal to $\text{rank}(Z_1)+1$. This includes the class of free nilpotent groups…

Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its…

Let $G$ be a finite group, $\Z G$ the integral group ring of $G$ and $\U(\Z G)$ the group of units of $\Z G$. The Congruence Subgroup Problem for $\U(\Z G)$ is the problem of deciding if every subgroup of finite index of $\U(\Z G)$ contains…

In this communication, the co-maximal subgroup graph $\Gamma(G)$ of a finite group $G$ is examined when $G$ is a finite nilpotent group, finite abelian group, dihedral group $D_n$, dicyclic group $Q_{2^n}$, and $p$-group. We derive the…

A finite simple graph $\Gamma$ determines a quotient $P_\Gamma$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior…

Let $G$ be a $2$-generated group. The generating graph $\Gamma(G)$ is the graph whose vertices are the elements of $G$ and where two vertices $g_1$ and $g_2$ are adjacent if $G = \langle g_1, g_2 \rangle.$ This graph encodes the…

We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index…