Residual solvability of the unit groups of rational group algebras (Q1097334)

Let \(G^{(n)}\) denote the nth term of the derived series of a group G and set \(G^{(\omega)}=\cap^{\infty}_{n=0}G^{(n)}\). Denote by \(H_ K\) the usual quaternion algebra over a field K. The authors first prove that if K is an algebraic number field with at most one real infinite prime then \((H^*_ K)^{(\omega)}\) is contained in the group \(\{\pm 1\}\) if and only if the quadratic form \(f=x^ 2_ 1+x^ 2_ 2+x^ 2_ 3\) is anisotropic over K. Then they are able to prove their main result; namely, that if G is a finite group, then \(U(QG)^{(\omega)}\) is the identity group or a finite elementary abelian 2-group if and only if G is either an abelian group or a Hamiltonian group of order \(2^ nm\), m odd, such that the multiplicative order of 2 modulo m is odd.