Zassenhaus conjecture and infinite nilpotent groups
type: Item
instance of: scholarly article
title: Zassenhaus conjecture and infinite nilpotent groups
zbMATH Open document ID: 0859.16024
author: Z. S. Marciniak
author: Sudarshan K. Sehgal
published in: Journal of Algebra
publication date: 1997-04-13T00:00:00Z
review text: Let \(G\) be a group and let \(\mathbb{Z} G\) be its integral group ring. Let \(C_\infty\) be the infinite cyclic group. Then, \(C_\infty\) operates on the rank two free abelian group via the matrix \(\left(\begin{smallmatrix} 1 & 1\\ 0 & 1\end{smallmatrix}\right)\) and the semidirect product of \(C_\infty\) with this module is \(H\). Let \(G\) be the direct product of \(H\) with \(D_8\), the dihedral group of order 8. The authors give explicitly a unit \(u\) of order 2 in \(\mathbb{Z} H\) which is not conjugate in \(\mathbb{Q} G\) to an element in \(\pm1 G\). For finite nilpotent \(G\) a theorem of Weiss shows that any finite subgroup of the units of \(\mathbb{Z} G\) is conjugate in the units of \(\mathbb{Q} G\) to a subgroup of \(\langle\pm1,G\rangle\). The above \(G\) is nilpotent non finite. It was a conjecture of Zassenhaus that for any finite \(G\) and any finite subgroup \(H\) of the units of \(\mathbb{Z} G\) such that the order of \(H\) equals the order of \(G\), the group \(H\) is conjugate in the units of \(\mathbb{Q} G\) to a subgroup of \(\langle\pm 1,G\rangle\). Roggenkamp and Scott gave a counterexample in general and proved the conjecture for finite nilpotent groups \(G\). The dihedral group of order 8 has a two dimensional faithful representation in the two dimensional vector space over the rationals. The proof uses the tensor product of this representation with the regular representation of \(\mathbb{Q} H\). In order to prove the main theorem the arithmetic and the ring structure of \(\mathbb{Q} H\) is intensively used.
reviewed by: Alexander Zimmermann
Mathematics Subject Classification ID: 16U60
Mathematics Subject Classification ID: 20C07
Mathematics Subject Classification ID: 20F18
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 20E07
Mathematics Subject Classification ID: 20E36
zbMATH DE Number: 934249
zbMATH Keywords: units of order 2
zbMATH Keywords: integral group rings
zbMATH Keywords: infinite cyclic group
zbMATH Keywords: semidirect products
zbMATH Keywords: finite subgroups of units
zbMATH Keywords: nilpotent groups
zbMATH Keywords: faithful representations
zbMATH Keywords: regular representations
Wikidata QID: Q122958565
MaRDI profile type: Publication
full work available at URL: jabr.1996.0256
OpenAlex ID: W2079097435
DOI: 10.1006/JABR.1996.0256
description: scientific article; zbMATH DE number 934249