Related papers: A short proof that positive generation implies the…

We prove a generalization of the classical Klein-Maskit combination theorem, in the free product case, in the setting of Anosov subgroups. Namely, if $\Gamma_A$ and $\Gamma_B$ are Anosov subgroups of a semisimple Lie group $G$ of noncompact…

Using small cancellation methods, we show that the property invariable generation does not pass to finite index subgroups, answering questions of Wiegold and Kantor-Lubotzky-Shalev. We further show that a finitely generated group that is…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where…

We give a geometric proof of a well known theorem that describes splittings of a free group as an amalgamated product or HNN extension over the integers. The argument generalizes to give a similar description of splittings of a virtually…

In this note we give a new proof of the fact that an elementary subgroup (in the sense of first-order theory) of a non abelian free group $\mathbb{F}$ must be a free factor. The proof is based on definability of orbits of elements of under…

The Andrews-Curtis conjecture claims that every normally generating $n$-tuple of a free group $F_n$ of rank $n \ge 2$ can be reduced to a basis by means of Nielsen transformations and arbitrary conjugations. Replacing $F_n$ by an arbitrary…

A group $G$ is said to have the Howson property (or to be a Howson group) if the intersection of any two finitely generated subgroups of $G$ is finitely generated subgroup. It is proved that descending HNN-extension is not a Howson group…

The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the…

Let S=Sym(\Omega) be the group of all permutations of an infinite set \Omega. Extending an argument of Macpherson and Neumann, it is shown that if U is a generating set for S as a group, respectively as a monoid, then there exists a…

We show that there exists no left order on the free product of two nontrivial, finitely generated, left-orderable groups such that the corresponding positive cone is represented by a regular language. Since there are orders on free groups…

We prove that every verbally closed two-generated subgroup of a free solvable group G of a finite rank is a retract of G.

We show that any two elements of the pure braid group either commute or generate a free group, settling a question of Luis Paris. Our proof involves the theory of 3-manifolds and the theory of group actions on trees.

The explicit description of the topology of the free product of topological groups being Hausdorff is given. In particular, it is shown that it coincides with the so-called $X_0$-topology for the corresponding colimit $X$ in the category of…

We show that for every $N\ge 3$ the free unitary group $U^+_N$ is topologically generated by its classical counterpart $U_N$ and the lower-rank $U^+_{N-1}$. This allows for a uniform inductive proof that a number of finiteness properties,…

We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…

In this short note we present a family of counterexamples to the King's conjecture.

We show that a strong form (the fully faithful version) of the generating hypothesis, introduced by Freyd in algebraic topology, holds in the derived category of a ring R if and only if R is von Neumann regular. This extends results of the…

A theorem of Myasnikov and Roman'kov says that any verbally closed subgroup of a finitely generated free group is a retract. We prove that all free (and many virtually free) verbally closed subgroups are retracts in any finitely generated…

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…