Semisimplicity and tensor products of group representations: Converse theorems. (With an appendix by Walter Feit)
type: Item
instance of: scholarly article
title: Semisimplicity and tensor products of group representations: Converse theorems. (With an appendix by Walter Feit)
zbMATH Open document ID: 0896.20004
published in: Journal of Algebra
publication date: 1998-10-06T00:00:00Z
review text: Let \(k\) be a field of characteristic \(p\geq 0\) and \(G\) a group. A \(G\)-module is semisimple if it is a direct sum of simple modules. Let \(V\) and \(W\) be finite-dimensional \(G\)-modules. The following results are known: Theorem 1. If \(V\) and \(W\) are semisimple, then the tensor product \(V\otimes W\) is semisimple if \(p=0\), or if \(\dim V+\dim W<p+2\) (the second result is due to the author [see Invent. Math. 116, No. 1-3, 513-530 (1994; Zbl 0816.20014)]). Theorem 2. If \(V\) is semisimple, then the exterior square \(\Lambda^2V\) is semisimple if \(p=0\) or if \(p>0\) and \(\dim V\leq(p+3)/2\) (the paper above, Theorem 2). The author is interested in ``converse theorems'': proving the semisimplicity of \(V\) from that of \(V\otimes W\) or of \(\Lambda^2V\). The results are the following: Theorem 3. If \(V\otimes W\) is semisimple then \(p\) does not divide \(\dim W\). This result is best possible as an example shows. Theorem 4. If the tensor power \(\otimes^mV\) is semisimple then \(V\) is semisimple (\(n\in\mathbb{N}\)). Theorem 5. If \(\Lambda^2V\) is semisimple, then \(V\) is semisimple unless \(\dim V\equiv 2\pmod p\). Theorem 6. If the symmetric square \(\text{Sym}^2V\) is semisimple, then \(V\) is semisimple unless \(\dim V\equiv-2\pmod p\). Theorem 7. If the \(m\)th exterior power \(\Lambda^mV\) is semisimple, then \(V\) is semisimple unless \(\dim V\equiv 2,3,\dots,m\pmod p\). Examples show that the congruence conditions occurring in Theorems 5-7 cannot be suppressed. The first two examples are due to W. Feit (see the appendix). In all examples \(G\) is finite.
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 16D60
zbMATH DE Number: 1066136
zbMATH Keywords: direct sums of simple modules
zbMATH Keywords: tensor products
zbMATH Keywords: exterior squares
zbMATH Keywords: semisimplicity
zbMATH Keywords: tensor powers
zbMATH Keywords: symmetric squares
zbMATH Keywords: exterior powers
reviewed by: Yakov Berkovich
MaRDI profile type: Publication
full work available at URL: jabr.1996.6929
OpenAlex ID: W2009694408
cites work: Q3285689
cites work: Q3349023
cites work: Q3955560
cites work: Endliche Gruppen I
cites work: On the semisimplicity of tensor products of representations of groups
DOI: 10.1006/JABR.1996.6929
Recommended article: On the semisimplicity of tensor products of representations of groups
Recommended article: Decompositions of tensor products of infinite and finite dimensional representations of semisimple groups
Recommended article: On conjugating representations and adjoint representations of semisimple groups
Recommended article: Q4013881
Recommended article: Q3772759
Recommended article: On tensor products of simple modules for simple groups.
Recommended article: Q3889239
Recommended article: On representations of semi-direct product groups
Recommended article: Q3552585
Recommended article: Tensor operators and constructing indecomposable representations of semidirect product groups
author: Jean-Pierre Serre
description: scientific article; zbMATH DE number 1066136