The structure of the tensor product of \(\mathbb{F}_2[-]\) with a finite functor between \(\mathbb{F}_2\)-vector spaces
type: Item
instance of: scholarly article
title: The structure of the tensor product of \(\mathbb{F}_2[-]\) with a finite functor between \(\mathbb{F}_2\)-vector spaces
zbMATH Open document ID: 0958.18006
author: Geoffrey Powell
publication date: 2000-07-19T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/75438
review text: The paper under review is the continuation of the work of the author related to the artinian conjecture [see \textit{G. M. L. Powell}, J. Pure Appl. Algebra 128, No. 3, 291-310 (1998; Zbl 0928.18004), Trans. Am. Math. Soc. 350, No. 10, 4167-4193 (1998; Zbl 0903.18006), J. Algebra 194, No. 2, 455-466 (1997; Zbl 0893.55011)]. Let \(\mathcal F\) be the category of functors from the category of finite-dimensional \({\mathbb F}_2\)-vector spaces to the category of all \({\mathbb F}_2\)-spaces, and let \(\overline{I}\) denotes the injective envelope (in \(\mathcal F\)) of the first exterior power functor \(\bigwedge^1\). Then the main result of the paper is that for any finite functor \(F\) of \({\mathcal F}\), the functor \(\overline{I}\otimes F\) is artinian (of type one). The strategy of the proof is as follows: first the author gives a criterion for showing that a functor is artinian by using some knowledge on an artinian sub-functor of it. Then he reduces to the case where \(F\) is simple. Finally he constructs a sub-functor of \(\overline{I}\otimes F\), shows that it is artinian by using a detection result (theorem 4 in the paper), and applies the criterion to this setting in order to show that \(\overline{I}\otimes F\) is artinian.
reviewed by: Philippe Elbaz-Vincent
Mathematics Subject Classification ID: 18E35
Mathematics Subject Classification ID: 18A25
zbMATH DE Number: 1478804
zbMATH Keywords: functor category
zbMATH Keywords: analytic functor
zbMATH Keywords: artinian functor
zbMATH Keywords: artinian conjecture
zbMATH Keywords: polynomial functor
zbMATH Keywords: polynomial filtration
zbMATH Keywords: difference functor
zbMATH Keywords: simple functor
zbMATH Keywords: Weyl functor
MaRDI profile type: Publication
OpenAlex ID: W2317188507
cites work: The representation theory of the symmetric groups
cites work: The decomposition of tensors over fields of prime characteristic
cites work: Q3952291
cites work: Generic Representations of the Finite General Linear Groups and the Steenrod Algebra: I
cites work: Generic representations of the finite general linear groups and the Steenrod algebra. II
cites work: Generic representations of the finite general linear groups and the Steenrod algebra. III
cites work: Extensions of simple functors
cites work: The Artinian conjecture for \(I^{\otimes 2}\). With an appendix by Lionel Schwartz
cites work: Polynomial filtrations and Lannes' \(T\)-functor
cites work: The structure of \(\bar I\otimes\Lambda^n\) in generic representation theory
cites work: The structure of indecomposable injectives in generic representation theory
cites work: Q2702068
DOI: 10.5802/AIF.1773
published in: Annales de l’institut Fourier
description: scientific article; zbMATH DE number 1478804