The functor \(V\mapsto\mathbb F_{2}[V]^{\otimes 3}\) between \(\mathbb F_{ 2 }\)-vector spaces is Noetherian (Q1013017)

Let \({\mathcal E}\) be the category of \(\mathbb F_2\)-vector spaces, \({\mathcal E}^f\) its subcategory of finite-dimensional spaces and \(\mathbb F\) the category of functors from \({\mathcal E}^f\) to \({\mathcal E}\). Write \(P\) for the projective functor in \(\mathbb F\), \(V\mapsto\mathbb F_2[V]\) for \(V\) in \({\mathcal E}^f\). The author proves that the tensor product between \(P^{\otimes^3}\) and a functor of finite length is Noetherian and then determines its structure by his previous result [\textit{A. Djament}, Ann. Inst. Fourier 57, No. 6, 1771--1823 (2007; Zbl 1132.18002)], that holds for the tensor product between \(P^{\otimes^2}\) and a functor of finite length. Several division functors are used to reduce the initial problem to finite calculations on modular representations of linear groups.