Related papers: Solvable subgroups of Out(F_n) are virtually abeli…

We present an explicit structure for the Baer invariant of a finitely generated abelian group with respect to the variety $[\mathfrak{N}_{c_1},\mathfrak{N}_{c_2}]$, for all $c_2\leq c_1\leq 2c_2$. As a consequence we determine necessary and…

For any finite collection $f_i$ of fully irreducible automorphisms of the free group $F_n$ we construct a connected $\delta$-hyperbolic $Out(F_n)$-complex in which each $f_i$ has positive translation length.

In this note, we will prove that a finite dimensional Lie algebra $L$ of characteristic zero, admitting an abelian algebra of derivations $D\leq Der(L)$ with the property $$ L^n\subseteq \sum_{d\in D}d(L) $$ for some $n\geq 1$, is…

A subset S of a group G invariably generates G if G = <s^(g(s)) | s in S> for each choice of g(s) in G, s in S. In this paper we study invariable generation of infinite groups, with emphasis on linear groups. Our main result shows that a…

Let $\G$ be a limit group, $S\subset\G$ a subgroup, and $N$ the normaliser of $S$. If $H_1(S,\mathbb Q)$ has finite $\Q$-dimension, then $S$ is finitely generated and either $N/S$ is finite or $N$ is abelian. This result has applications to…

We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated…

We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show…

The idempotent problem of a finitely generated inverse semigroup is the formal language of all words over the generators representing idempotent elements. This note proves that a finitely generated inverse semigroup with regular idempotent…

It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.

Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove…

We give a short proof of a theorem of Handel and Mosher stating that any finitely generated subgroup of $\text{Out}(F_N)$ either contains a fully irreducible automorphism, or virtually fixes the conjugacy class of a proper free factor of…

(Free-abelian)-by-free, self-similar groups generated by finite self-similar sets of tree automorphisms and having unsolvable conjugacy problem are constructed. Along the way, orbit undecidable, free subgroups of GL_d(Z), for d > 5, and…

We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…

We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a…

In this paper, we show that each finite group $G$ containing at most $p^2$ Sylow $p$-subgroups for each odd prime number $p$, is a solvable group. In fact, we give a positive answer to the conjecture in \cite{Rob}.

We prove that the solvable radical of a finite group G coincides with the set of elements y having the following property: for any x in G the subgroup of G generated by x and y is solvable. We present analogues of this result for finite…

In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups.

For all sufficiently large odd integers $n$, the following version of Higman's embedding theorem is proved in the variety ${\cal B}_n$ of all groups satisfying the identity $x^n=1$. A finitely generated group $G$ from ${\cal B}_n$ has a…

For every $n \geq 1$, let $(\mathrm{FW}_n)$ denote the fixed-point property for median graphs of cubical dimension $n$ (or equivalently, for CAT(0) cube complexes of dimension $n$). In this article, we construct explicit examples of groups…

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…