We compute the {Omega}^1(G) invariant when 1 {to} H {to} G {to} K {to} 1 is a split short exact sequence. We use this result to compute the invariant for pure and full braid groups on compact surfaces. Applications to twisted conjugacy classes and to finite generation of commutator subgroups are also discussed.
In this note, we compute the {Sigma}^1(G) invariant when 1 {to} H {to} G {to} K {to} 1 is a short exact sequence of finitely generated groups with K finite. As an application, we construct a group F semidirect Z_2 where F is the R. Thompsons group F and show that F semidirect Z_2 has the R-infinity property while F is not characteristic. Furthermore, we construct a finite extension G with finitely generated commutator subgroup G but has a finite index normal subgroup H with infinitely generated H.
In this paper, we compute the {Sigma}^n(G) and {Omega}^n(G) invariants when 1 rightarrow H rightarrow G rightarrow K rightarrow 1 is a short exact sequence of finitely generated groups with K finite. We also give sufficient conditions for G to have the R_{infty} property in terms of {Omega}^n(H) and {Omega}^n(K) when either K is finite or the sequence splits. As an application, we construct a group F rtimes? Z_2 where F is the R. Thompsons group F and show that F rtimes Z_2 has the R_{infty} property while F is not characteristic.
Let $G$ be a finitely generated group that can be written as an extension [ 1 longrightarrow K stackrel{i}{longrightarrow} G stackrel{f}{longrightarrow} Gamma longrightarrow 1 ] where $K$ is a finitely generated group. By a study of the BNS invariants we prove that if $b_1(G) > b_1(Gamma) > 0$, then $G$ algebraically fibers, i.e. admits an epimorphism to $Bbb{Z}$ with finitely generated kernel. An interesting case of this occurrence is when $G$ is the fundamental group of a surface bundle over a surface $F hookrightarrow X rightarrow B$ with Albanese dimension $a(X) = 2$. As an application, we show that if $X$ has virtual Albanese dimension $va(X) = 2$ and base and fiber have genus greater that $1$, $G$ is noncoherent. This answers for a broad class of bundles a question of J. Hillman.
Bogopolski, Martino and Ventura in [BMV10] introduced a general criteria to construct groups extensions with unsolvable conjugacy problem using short exact sequences. We prove that such extensions have always solvable word problem. This makes the proposed construction a systematic way to obtain finitely presented groups with solvable word problem and unsolvable conjugacy problem. It is believed that such groups are important in cryptography. For this, and as an example, we provide an explicit construction of an extension of Thompson group F and we propose it as a base for a public key cryptography protocol.
The aim of this paper is to study the $(alpha, gamma)$-prolongation of central extensions. We obtain the obstruction theory for $(alpha, gamma)$-prolongations and classify $(alpha, gamma)$-prolongations thanks to low-dimensional cohomology groups of groups.