Semi simplicity of tensor products in characteristic \(p\) (Q464277)

Let \(\mathfrak{T}\) be a Tannakian category over a field \(k\) of positive characteristic \(p\). The main result of this work is as follows: Theorem. Let \((V_i)_{i\in I}\) be a family of finite semisimple objects in \(\mathfrak{T}\); if \(\sum\left( \dim V_{i}-1\right) <p\) then the tensor product of the \(V_{i}\) is also a semisimple object in \(\mathfrak{T}\). Examples of Tannakian categories include finite dimensional representations of a Lie algebra over \(k\); finite dimensional \(p\)-representations of a \(p\)-Lie algebra over \(k\); and finite dimensional \(K\)-vector spaces, where \(K\) is a field of characteristic \(p\) such that \(k=K^{\Gamma}\) for some group \(\Gamma\) which acts on \(K.\) However, the motivating example for this work is clearly \(\mathfrak{T} =\mathrm{Rep}(G)\), the category of finite dimensional representations of an affine group scheme \(k\). Indeed, if \(G\) is smooth and in this category, then this semi-simplicity result is known, proved by \textit{J.-P. Serre} in [Invent. Math. 116, No. 1--3, 513--530 (1994; Zbl 0816.20014)].