Generators of Large Subgroups of Units of Integral Group Rings of Nilpotent Groups Original Research Article

Let G be a finite nilpotent group so that all simple components (D)n × n, n ≥ 2 of imageG satisfy the congruence subgroup theorem. Suppose that for all odd primes p dividing G the Hamiltonian quaternions image split over the pth cyclotomic field image(ζp). Then new units image3 are introduced so that left angle bracket image1, image2, image′2, image3right-pointing angle bracket is of finite index in U(imageG).