On the normalizer property for integral group rings

Let R(G) denote the intersection of all nonnormal subgroups of a group G. In this note, we prove that for every finite group G, if R(G) is not trivial, then the normalizer property holds forG.     

On the isomorphism problem for integral group rings of finite groups

Partly supported by the Deutsche Forschungsgemeinschaft and the National Science Foundation.     

On isomorphisms between centers of integral group rings of finite groups

For finite nilpotent groups and , and a -adapted ring (the rational integers, for example), it is shown that any isomorphism between the centers of the group rings and is monomial, i.e., maps class sums in to class sums in up to multiplication with roots of unity. As a consequence, and have identical character tables if and only if the centers of their integral group rings and are isomorphic. In the course of the proof, a new proof of the class sum correspondence is given.

     

Zassenhaus Conjecture (ZC1) on torsion units of integral group rings for some metabelian groups

We prove a conjecture of Zassenhaus that every normalized torsion unit of the integral group ring ZG of a finite group G is rationally conjugate to a group element for some metabelian groups including metacyclic groups G containing a normal cyclic group A such that G/A is cyclic of prime power order. The relative prime case was done in [11]. Received: 21 April 2005     

Central units of integral group rings of nilpotent groups

In this paper a finite set of generators is given for a subgroup of finite index in the group of central units of the integral group ring of a finitely generated nilpotent group.

     

Torsion units in integral group rings of solvable groups

A weaker version of the Zassenhaus conjecture for torsion units in integral group rings ZG is proved if G is either abelian-by-polycyclic or metabelian. As a consequence we obtain Bovdi's conjecture for torsion units in ZG for metabelian groups     

Torsion units in integral group rings of metacyclic groups

It is proved that if G is a split extension of a cyclic p-group by a cyclic p′-group with faithful action then any torsion unit of augmentation one of $\text{Z}$G is rationally conjugate to a group element. It is also proved that if G is a split extension of an abelian group A by an abelian group X with (|A|, |X|) = 1 then any torsion unit of $\text{Z}$G of augmentation one and order relatively prime to |A| is rationally conjugate to an element of X.     

On group rings of nilpotent groups

It is shown that ifG is a non-abelian torsion free nilpotent group andF is a field, then the classical skew field of fractionsF(G) of the group ring,F[G] contains a noncommutative free subalgebra. The author is supported by NSF Grant No. MCS-8201115.     

On schur rings of group rings of finite groups

Schur rings are rings associated to certain partitions of finite groups. They were introduced for applications in representation theory, cfr. [3][4].

The algebric structure of these rings has not been studied in depth. In this paper we determine explicit structure constants for Schur rings, we derive conditions for separability and we compute the centre. These results seem to be new even over fields.     

Certain conjugacy classes of units in integral group rings of metacyclic groups

Let G be the metacyclic group of order pq given by

$\text{G = 〈σ, τ: σ}{}^{\mathrm{p}}\text{= 1 = τ}{}^{\mathrm{q}}\text{, τστ}{}^{\mathrm{?}}\text{= σ}{}^{\mathrm{j}}\text{〉}$

where p is an odd prime, q ≥ 2 a divisor of p ? 1, and where j belongs to the exponent q mod p. Let V denote the group of units of augmentation 1 in the integral group ring $\text{Z}$G of G. In this paper it is proved that the number of conjugacy classes of elements of order p in V is

$\text{(p ? 1)}{}^{\mathrm{q?1}}\text{μ}{}_0\text{H}\text{vq}$

where ν, μ₀, and H are suitably defined numbers.     

Torsion units in integral group rings of some metabelian groups,II

We prove that any torsion unit of the integral group ring ZG is rationally conjugate to a trivial unit if G = A ⋊ X with both A and X abelian, |Xz.sfnc; < p for every prime p dividing |A| provided either |X| is prime or A ic cyclic.