Subgroup isomorphism problem for units of integral group rings (Q516378)

Let \(G\) be a finite group and let \(\mathbb Z G\) be the integral group ring of \(G\). Denote by \(V(\mathbb Z G)\) the group of normalized units of \(\mathbb Z G\) and by \(C_n\) the cyclic group of order \(n\). The following subgroup isomorphism problem is recorded in [\textit{W. Kimmerle}, ``Sylow like theorems for \(V(\mathbb Z G)\)'', Int. J. Group Theory 4, 49--59 (2015)] and also as Problem 19 in [\textit{E. Jespers} (ed.) et al., Oberwolfach Rep. 4, No. 4, 3209--3240 (2007; Zbl 1177.16002)]. Subgroup isomorphism problem: Which group \(U\) isomorphic to a subgroup of \(V(\mathbb Z G)\) is isomorphic to a subgroup of some finite group \(G\)? It is well known that the subgroup isomorphism problem has a positive solution for cyclic groups \(U\) of prime power order. The main result of this article is that the group \(U = C_4\times C_2\) satisfies the subgroup isomorphism problem (Theorem 1.1). Besides if \(G\) possesses a dihedral Sylow \(2\)-subgroup, then any \(2\)-subgroup of \(V(\mathbb Z G)\) satisfies also the subgroup isomorphism problem (Theorem 1.2). The last result is proposed for an investigation in [\textit{M. Hertweck}, Commun. Algebra 36, No. 9, 3224--3229 (2008; Zbl 1156.16023)]. Besides, the authors obtain the following result. Proposition 1.3. ``Let \(G\) be a finite group whose Sylow \(2\)-subgroup has at most order 8 and assume moreover that \(G\) is not isomorphic to the alternating group of degree 7. Then, any \(2\)-subgroup \(U\) of \(V(\mathbb Z G)\) is rationally conjugate to a subgroup of \(G\), i.e. there exists a unit \(x\) in the rational group algebra \(\mathbb Q G\) and a subgroup \(P\) of \(G\) such that \(x^{-1}Ux = P.\)'' This result is a generalization of Proposition 3.4 of \textit{A. Bächle} and \textit{W. Kimmerle} [J. Algebra 326, No. 1, 34--46 (2011; Zbl 1228.16037)] and of Proposition 4.7 in [Kimmerle, loc. cit.].