设$G$是域上的仿射群方案。
假设，对于$G$的每个有限维表示，我在基本向量空间上有一个与张量积兼容的$\mathbb{Z}$-分级，其性质是每个$G$-等变映射都是分级的。然后通过抽象的Tannaka对偶，我得到了一个群方案$\mathbb的映射{G} _米\至G$。
现在，我有一个$\mathbb｛Z｝$索引过滤，与张量乘积兼容，这样每个$G$等变映射$f:V\to W$都严格保留过滤，这意味着对于所有$n\in\mathbb｛Z｝$，$$f\big（\mathrm｛Fil｝^n V\big）=f（V）\cap\mathrm｛Fil｝^n W。$$这告诉了我关于$G$的什么？
