Computing the order of the nilpotent residual of a finite group from knowledge of its group algebra
type: Item
instance of: scholarly article
title: Computing the order of the nilpotent residual of a finite group from knowledge of its group algebra
zbMATH Open document ID: 0805.20004
DOI: 10.1007/BF01199096
author: John Cossey
author: Trevor Hawkes
published in: Archiv der Mathematik
publication date: 1995-02-05T00:00:00Z
review text: The authors show that the group-algebra \(FG\) of a finite group over an algebraically closed field determines the order of \(K_ \infty(G)\), i.e. the order of the last term of the lower central series. This extends a result of I. M. Isaacs, who showed that for \((\text{char}(K),| G|) = 1\) the isomorphism \(FG \simeq FH\) implies that \(H\) is nilpotent provided \(G\) is nilpotent (just take the case where \(K_ \infty(G) = \langle 1\rangle\)). As crucial point in the arguments of the authors they prove: A finite group \(G\) is \(p\)-nilpotent if and only if the group-algebra \(FG\) over an algebraically closed field contains a block of dimension \(| G|_ p\). In order to derive the final result, the authors prove -- using modular representation theory: Assume that \(P\) is a minimal right ideal of \(FG\) for a finite group \(G\) and an algebraically closed field \(F\) of characteristic \(p > 0\), such that \(\text{Dim}_ F(P/\text{rad}(P)) = 1\) (the authors mean -- without saying this -- that \(P\) is a projective right ideal). Let \(FG = P \oplus Q\) as right modules and put \(P_ 0 := \bigcap^ \infty_{i = 0} P \cdot Q^ n\). Then 1. \(| G/O^ p(G)| = \text{Dim}_ F(P/P_ 0)\), and 2. if \(P/R\) is the largest commutative quotient algebra of \(P/P_ 0\), then \(| G/G'|_ p = \text{Dim}_ F(P/R)\).
reviewed by: Klaus W. Roggenkamp
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20F14
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 16S34
zbMATH DE Number: 571905
zbMATH Keywords: nilpotent radical
zbMATH Keywords: group-algebra
zbMATH Keywords: finite group
zbMATH Keywords: order
zbMATH Keywords: lower central series
zbMATH Keywords: block
zbMATH Keywords: modular representation
zbMATH Keywords: minimal right ideal
MaRDI profile type: Publication
cites work: A Criterion for a Group to be Nilpotent
cites work: Endliche Gruppen I
cites work: Q3934684
cites work: Recovering information about a group from its complex group algebra
cites work: Two groups with isomorphic group algebras
description: scientific article; zbMATH DE number 571905