Finite Subgroups in Integral Group Rings

From MaRDI portal





The authors examine a conjugacy property of torsion subgroups of units of integral group rings of finite groups. Let \(G\) be a finite group and \(\mathbb{Z} G\) its integral group ring. Let \(U_1(\mathbb{Z} G)\) be the group of units of \(\mathbb{Z} G\) of augmentation 1. We say that \(G\) satisfies \(p\)-ZC3 if for a given prime \(p\) and any \(p\)-subgroup \(H\) of \(U_1(\mathbb{Z} G)\) there is a unit \(\alpha\) in the group ring over the rationals \(\mathbb{Q} G\) such that \(\alpha H\alpha^{-1}\leq G\). The authors prove \(p - ZC3\) for groups \(G\) with nilpotent normal subgroup \(N\) and nilpotent \(G/N\). For metabelian \(G\) there is an example of Roggenkamp and Scott of a finite subgroup \(H\) of \(U_1(\mathbb{Z} G)\) which is not conjugate in the units of \(\mathbb{Q} G\) to a subgroup of \(G\). Of course, \(H\) is not a \(p\)-group. The authors prove \(p\)-ZC3 for special groups like the symmetric group of degree 4 and the binary octahedral group to finish with proving \(p\)-ZC3 for solvable Frobenius groups. In the proofs one examines the situation of the presence of a normal subgroup \(N\) with order relatively prime to the order of \(G/N\). The two special cases \(S_4\) and binary octahedral group are treated by explicit calculations. The structure theory of solvable Frobenius groups gives then \(p\)-ZC3 also for them.











This page was built for publication: Finite Subgroups in Integral Group Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128434)