Free products in the unit group of the integral group ring of a finite group

Let $G$ be a finite group and let $p$ be a prime. We continue the search for generic constructions of free products and free monoids in the unit group $\mathcal{U}(\mathbb{Z}G)$ of the integral group ring $\mathbb{Z}G$. For a nilpotent group $G$ with a non-central element $g$ of order $p$, explicit generic constructions are given of two periodic units $b_1$ and $b_2$ in $\mathcal{U}(\mathbb{Z}G)$ such that $\langle b_1 , b_2\rangle =\langle b_1\rangle \star \langle b_2 \rangle \cong \mathbb{Z}_p \star \mathbb{Z}_{p}$, a free product of two cyclic groups of prime order. Moreover, if $G$ is nilpotent of class $2$ and $g$ has order $p^n$, then also concrete generators for free products $\mathbb{Z}_{p^k} \star \mathbb{Z}_{p^m}$ are constructed (with $1\leq k,m\leq n$). As an application, for finite nilpotent groups, we obtain earlier results of Marciniak-Sehgal and Gon{\c{c}}alves-Passman. Further, for an arbitrary finite group $G$ we give generic constructions of free monoids in $\mathcal{U}(\mathbb{Z}G)$ that generate an infinite solvable subgroup.Comment: 10 page

Generators of split extensions of Abelian groups by cyclic groups

Let $G \simeq M \rtimes C$ be an $n$-generator group with $M$ Abelian and $C$ cyclic. We study the Nielsen equivalence classes and T-systems of generating $n$-tuples of $G$. The subgroup $M$ can be turned into a finitely generated faithful module over a suitable quotient $R$ of the integral group ring of $C$. When $C$ is infinite, we show that the Nielsen equivalence classes of the generating $n$-tuples of $G$ correspond bijectively to the orbits of unimodular rows in $M^{n -1}$ under the action of a subgroup of $GL_{n - 1}(R)$. Making no assumption on the cardinality of $C$, we exhibit a complete invariant of Nielsen equivalence in the case $M \simeq R$. As an application, we classify Nielsen equivalence classes and T-systems of soluble Baumslag-Solitar groups, lamplighter groups and split metacyclic groups.Comment: 36 pages, The former Theorem F.ii has been retracted because the proof was wrong and couldn't be repaired. To appear in Groups, Geometry and Dynamic

Stably free modules over virtually free groups

Let $F_m$ be the free group on $m$ generators and let $G$ be a finite nilpotent group of non square-free order; we show that for each $m\ge 2$ the integral group ring ${\bf Z}[G\times F_m]$ has infinitely many stably free modules of rank 1.Comment: 9 pages. The final publication is available at http://www.springerlink.com doi:10.1007/s00013-012-0432-