Finite groups of matrices over group rings

From MaRDI portal





The investigations into the unit group of an integral group ring \(\mathbb{Z}\Pi\) of a finite group \(\Pi\), in particular those in connection with the Zassenhaus conjectures, have lead to look more closely at finite subgroups of \(\text{GL}_n(\mathbb{Z}\Pi)\): \textit{A. Weiss}' work on the Zassenhaus conjectures [Ann. Math., II. Ser. 127, No. 2, 317-332 (1988; Zbl 0647.20007); J. Reine Angew. Math. 415, 175-187 (1991; Zbl 0744.16019)] has demonstrated the benefit of this. With a homomorphism \(\alpha\colon\Gamma\to\text{GL}_n(\Pi)\), such that the entries of all matrices \(\alpha(\gamma)\) have augmentation 0, comes the natural \(G=\Gamma\times\Pi\)-module \(M=(\mathbb{Z}\Pi)^n\), \(m\cdot(\gamma,\pi)=\alpha(\gamma^{-1})m\pi\). Three problems are looked at. (1) Are the characters of these \(M\) precisely those in the \(\mathbb{Z}_{\geq 0}\)-span of \(\{\text{ind}_{[\alpha]}^G 1:\alpha\}\), with \([\alpha]=\{(\gamma,\alpha(\gamma))\}\leq G\)? How about the \(\mathbb{Z}\)-spans? (2) Is the semigroup \(D\) generated by the characters of these \(M\) finitely generated? (3) Given \(\alpha\), do there exist \(n\) homomorphisms \(\sigma_i\colon\Gamma\to\Pi\) and an \(x\in\text{GL}_n(\mathbb{Q}\Pi)\) such that \(x^{-1}\alpha(\gamma)x=\text{diag}(\sigma_i(\gamma))\)? It is shown that the first question in (3) has a positive answer if, and only if, (1) has a positive answer -- which, however, is not always the case. In fact, there are lots of counterexamples for \(n\geq 2\) [for n=1 see \textit{K. W. Roggenkamp} and \textit{L. L. Scott}, manuscript 1988]. The semigroup \(D\) is approximated by a slightly bigger group \(D'\) whose study is not burdened by difficulties arising from locally free class groups. This \(D'\) has a complete character theoretic description in the case when \(\Pi\) is nilpotent. Regarding (2), it is shown that the answer is yes, if \(\Gamma\) and \(\Pi\) are nilpotent; moreover, a generating set is constructed.











This page was built for publication: Finite groups of matrices over group rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700137)