Let $K$ be a field of characteristic zero, and let $G \subseteq \mathrm{GL}_V$ be an algebraic group over $K$, acting faithfully on a finite dimensional vector space $V$. Let $H \subseteq \mathrm{GL}_V$ be the largest algebraic subgroup with the following propertes:
(1) If a subspace $V_1 \subseteq V$ is invariant under $G$, then it is also invariant under $H$.
(2) Given $G$-invariant subspaces $V_1$ and $V_2$ of $V$, and integers $a,b\geq 0$, the equality $$\mathrm{Hom}_G(V_1^{\otimes a}, (V/V_2)^{\otimes b}) = \mathrm{Hom}_H(V_1^{\otimes a}, (V/V_2)^{\otimes b})$$ holds.
The second condition means that $G$ and $H$ have the same fixed points in any tensor space that can be formed out of subquotients of $V$. The inclusion $G\subseteq H$ is tautological, and my question is:
do we have $G=H$?
If $G$ is reductive, then the answer iy yes, because in that case $V$ and all its tensor powers are semisimple, but the equality $G=H$ also holds for example if $G$ is the group of upper triangular matrices.
