English

Central units of integral group rings

Rings and Algebras 2012-07-06 v2 Commutative Algebra Group Theory K-Theory and Homology

Abstract

We give an explicit description for a basis of a subgroup of finite index in the group of central units of the integral group ring ZG\Z G of a finite abelian-by-supersolvable group such that every cyclic subgroup of order not a divisor of 4 or 6 is subnormal in GG. The basis elements turn out to be a natural product of conjugates of Bass units. This extends and generalizes a result of Jespers, Parmenter and Sehgal showing that the Bass units generate a subgroup of finite index in the center Z(\U(ZG))\mathcal{Z} (\U (\Z G)) of the unit group \U(ZG)\U (\Z G) in case GG is a finite nilpotent group. Next, we give a new construction of units that generate a subgroup of finite index in Z(\U(ZG))\mathcal{Z}(\U(\Z G)) for all finite strongly monomial groups GG. We call these units generalized Bass units. Finally, we show that the commutator group \U(ZG)/\U(ZG)\U(\Z G)/\U(\Z G)' and Z(\U(ZG))\mathcal{Z}(\U(\Z G)) have the same rank if GG is a finite group such that \QG\Q G has no epimorphic image which is either a non-commutative division algebra other than a totally definite quaternion algebra, or a two-by-two matrix algebra over a division algebra with center either the rationals or a quadratic imaginary extension of \Q\Q. This allows us to prove that in this case the natural images of the Bass units of ZG\Z G generate a subgroup of finite index in \U(ZG)/\U(ZG)\U(\Z G)/\U(\Z G)'.

Keywords

Cite

@article{arxiv.1203.5232,
  title  = {Central units of integral group rings},
  author = {Eric Jespers and Gabriela Olteanu and Ángel del Río and Inneke Van Gelder},
  journal= {arXiv preprint arXiv:1203.5232},
  year   = {2012}
}