Related papers: Subgroups of Cyclically Amalgamated Free Products
A real Milnor manifold is the non-singular hypersurface of degree $(1,1)$ in the product of two real projective spaces. These manifolds were introduced by Milnor to give generators for the unoriented cobordism algebra, and they admit free…
We show that, if $G$ is an amenable group and $H$ is a hyperbolic group, then the free product $G\ast H$ is weakly amenable. A key ingredient in the proof is the fact that $G\ast H$ is orbit equivalent to $\mathbb{Z}\ast H$.
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…
Given a morphism $\varphi : G \to A \wr B$ from a finitely presented group $G$ to a wreath product $A \wr B$, we show that, if the image of $\varphi$ is a sufficiently large subgroup, then $\mathrm{ker}(\varphi)$ contains a non-abelian free…
We prove that if $H$ is a topological group such that all closed subgroups of $H$ are separable, then the product $G\times H$ has the same property for every separable compact group $G$. Let $c$ be the cardinality of the continuum. Assuming…
If F is a free group of finite rank at least two then any group of the form F by Z is large. In this short note we show how this statement follows by combining a very recent theorem of Hagen and Wise (using work of Agol and of Wise) with…
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…
We describe the conjugacy classes of the elements of the free product of two groups and their centralizers and, as a consequence, we correct the calculation of the cyclic and periodic cyclic homology of the group ring of the free product of…
We show that free-by-free groups satisfying a homological criterion, which we call excessive homology, are incoherent. This class is large in nature, including many examples of hyperbolic and non-hyperbolic free-by-free groups. We apply…
If $G_1$ and $G_2$ are finite groups with periodic Tate cohomology, then $G_1\times G_2$ acts freely and smoothly on some product $S^n \times S^n$.
A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for…
In 1930, Wilhelm Magnus introduced the so-called Freiheitssatz: Let $F$ be a free group with basis $\mathcal{X}$ and let $r$ be a cyclically reduced element of $F$ which contains a basis element $x \in \mathcal{X}$, then every non-trivial…
We prove that any isometry of the graph of cyclic splittings of a finitely generated free group $F_N$ of rank $N\ge 3$ is induced by an outer automorphism of $F_N$. The same statement also applies to the graphs of maximally-cyclic…
We study a class of quasimorphisms of the free group that can be expressed as infinite sums of Brooks quasimorphisms with some nice properties. We then review Heuer's framework of decompositions developed in arXiv:1710.03193, and put these…
Let $K\langle X_d\rangle$ be the free associative algebra of rank $d \geq 2$ over a field $K$. Lane in 1976 and Kharchenko in 1978 proved that the algebra of invariants $K\langle X_d\rangle^G$ is free for any subgroup $G \leq…
Let $G$ be a group. The intersection graph of cyclic subgroups of $G$, denoted by $\mathscr I_c(G)$, is a graph having all the proper cyclic subgroups of $G$ as its vertices and two distinct vertices in $\mathscr I_c(G)$ are adjacent if and…
In this note, we prove that a random extension of either the free group $F_N$ of rank $N\ge3$ or of the fundamental group of a closed, orientable surface $S_g$ of genus $g\ge2$ is a hyperbolic group. Here, a random extension is one…
A reduction formula for compressions of von Neumann algebras arising as free products is proved. This shows that the fundamental group is all of the positive reals for some such algebras. Additionally, by taking a sort of free product with…
A {\it graph product} $G$ on a graph $\Gamma$ is a group defined as follows: For each vertex $v$ of $\Gamma$ there is a corresponding non-trivial group $G_v$. The group $G$ is the quotient of the free product of the $G_v$ by the commutation…
For every Lie group $G$, we compute the maximal $n$ such that an $n$-fold product of nonabelian free groups embeds into $G$.