Small representations are completely reducible
type: Item
instance of: scholarly article
title: Small representations are completely reducible
zbMATH Open document ID: 0941.20001
published in: Journal of Algebra
publication date: 2000-05-16T00:00:00Z
review text: The author's main result is the following. Let \(p\) be a prime and let \(k\) be a field of characteristic \(p\). Let \(G\) be a finite group that contains no non-trivial normal \(p\)-subgroup. Let \(V\) be a faithful \(kG\)-module. Then \(V\) is completely reducible if \(\dim V\leq p-2\). It follows then that first cohomology group \(H^1(G,V)\) is trivial if \(\dim V\leq p-3\). The author also notes that the alternating group \(A_p\) has an irreducible module of dimension \(p-2\) over \(k\) whose first cohomology group has dimension \(1\) as a vector space over \(k\), so the result above is best possible. The proof of this theorem is based on the following result (Theorem B of the paper). Let \(V\) be a faithful \(kG\)-module of dimension at most \(p-3\), where \(G\) is a finite group with no non-trivial normal \(p\)-subgroup. Assume that \(G\) is generated by its elements of order \(p\). Then either \(G\) is a central product of finite quasisimple Chevalley groups of characteristic \(p\) or \(p=11\), \(n=7\) or 8, and \(G\) is the smallest Janko group \(J_1\) (a case which can occur). The classification of finite simple groups is required for this result, together with results on the minimal dimensions of non-trivial modules of finite groups of Lie type. (The enunciation of Theorem B in the paper is incorrect, as it demands that the dimension is at most \(p+3\), rather than \(p-3\).) The author also includes versions of his theorems that hold for algebraic groups, with normal unipotent subgroups replacing normal \(p\)-subgroups.
reviewed by: Rod Gow
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20G05
Mathematics Subject Classification ID: 20C33
Mathematics Subject Classification ID: 20C34
zbMATH DE Number: 1384474
zbMATH Keywords: completely reducible representations
zbMATH Keywords: finite quasisimple groups
zbMATH Keywords: faithful modules
zbMATH Keywords: finite groups of Lie type
zbMATH Keywords: quasisimple Chevalley groups
author: Robert Guralnick
MaRDI profile type: Publication
full work available at URL: jabr.1999.7963
OpenAlex ID: W2093095570
cites work: The Projective Indecomposable Modules of SL(2, p n )
cites work: Linear Groups with Orders Having Certain Large Prime Divisors
cites work: Transitive linear groups and linear groups which contain irreducible subgroups of prime order. II
cites work: Cross characteristic projective representations for some classical groups
cites work: Q4839675
cites work: Q4338608
cites work: Q3996618
cites work: Finite subgroups of algebraic groups
cites work: On the minimal degrees of projective representations of the finite Chevalley groups
cites work: Congruence Properties of Zariski-Dense Subgroups I
cites work: Dimensional Criteria for Semisimplicity of Representations
cites work: On subgroups of \(GL_ n(F_ p)\)
cites work: On the minimal degrees of projective representations of the finite Chevalley groups. II
DOI: 10.1006/JABR.1999.7963
Recommended article: Reducibility of standard representations
Recommended article: Espaces de représentations complètement réductibles
Recommended article: Strictly small representations and a reduction theorem for the unitary dual
Recommended article: Q4300738
Recommended article: Small representations of finite classical groups
Recommended article: Small representations and minuscule Richardson orbits
Recommended article: Complete reducibility of gyrogroup representations
Recommended article: Small cofinite irreducibles
Recommended article: Global uniqueness of small representations
description: scientific article; zbMATH DE number 1384474