On the extraspecial case of the \(k(GV)\)-conjecture
type: Item
instance of: scholarly article
title: On the extraspecial case of the \(k(GV)\)-conjecture
zbMATH Open document ID: 0997.20014
author: Udo Riese
published in: Archiv der Mathematik
publication date: 2002-06-10T00:00:00Z
review text: This is a further contribution by the author to the solution of Brauer's \(k(B)\)-problem for a finite \(p\)-solvable group. An extraspecial \(2\)-group of order \(2^{2n+1}\) is said to be of negative type if it is the central product of \(n-1\) dihedral groups of order \(8\) and one quaternion group of order 8. Such a group has a unique irreducible faithful representation, which is of symplectic type and has degree \(2^n\). In the analysis of minimal configurations relating to an inductive solution to Brauer's \(k(B)\)-problem for a \(p\)-solvable group \(G\), the case where \(G\) contains a minimal non-Abelian normal subgroup \(E\) which is an extraspecial 2-group of negative type presents various difficulties. In particular, the primes \(3\), \(7\), \(11\) and \(19\) prove to be problematic. The author rules out all possible exceptions relating to this configuration, by proving the following theorem. Let \(p\) be an odd prime and let \(G\) be a finite \(p'\)-group. Let \(V\) be a finite-dimensional faithful \(FG\)-module, where \(F\) is the field of order \(p\). Suppose that \(G\) contains a minimal non-Abelian normal subgroup \(E\) which is extraspecial of order \(2^{2n+1}\) and of negative type. Suppose also that \(E\) acts absolutely irreducibly on \(V\). Then \(V\) contains real vectors for \(G\) provided that \(n\geq 4\). Here we recall that a vector \(v\) in \(V\) is said to be real if \(V\), considered as an \(FC_G(v)\)-module, is isomorphic to its dual module (\(C_G(v)\) is the subgroup of \(G\) that fixes \(v\)). The proof of this result requires some quite delicate analysis that relies in part on information contained in the Atlas of Finite Groups. The finite orthogonal groups over the field of two elements command particular attention.
reviewed by: Rod Gow
Mathematics Subject Classification ID: 20C20
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20D10
Mathematics Subject Classification ID: 20D15
zbMATH DE Number: 1753062
zbMATH Keywords: \(k(GV)\)-conjecture
zbMATH Keywords: Brauer's \(k(B)\)-problem
zbMATH Keywords: extraspecial groups
zbMATH Keywords: finite \(p\)-solvable groups
zbMATH Keywords: finite-dimensional faithful modules
zbMATH Keywords: real vectors
zbMATH Keywords: dual modules
zbMATH Keywords: orthogonal groups
Wikidata QID: Q123366010
MaRDI profile type: Publication
full work available at URL: s00013-002-8233-1
OpenAlex ID: W2061566847
DOI: 10.1007/S00013-002-8233-1
description: scientific article; zbMATH DE number 1753062