-
2 $\开始组$ “直到同构”是指子表示的同构类型，还是指通过$V$的$\rho$-等变自同构实现的共轭？ $\端组$ – 肯塔·铃木 5月15日14:48 -
$\开始组$ 直到同构作为$G$的表示。 $\端组$ – 道格·刘 5月15日14:53 -
三 $\开始组$ 旁注：一个约化群在同构之前只有可数的表示。 一维单幂群也是如此。 $\端组$ – YCor公司 5月15日14:56 -
1 $\开始组$ @伪Neo， 重新 ， Jantzen-代数群的表示 我认为这是一个标准参考。 $\端组$ – LSpice公司 5月15日19:23 -
1 $\开始组$ @KentaSuzuki I应该说“可建设”，而不是“Zarisk-closed”； 有这种有限连续二分法就足够了。 设$E$是由不变子空间组成的$V$的Grassmanian的（Zarisk-closed）子集。 三元组$（W_1，W_2，f，g）$，其中E$中的$W_1、W_2\和$g$-不变，以及$f，g$是逆等变同态$W_1\到W_2$，$W_2\到W_1$，在$E^2\times\mathrm{Mat}（V）^2$中被Zarisk-close。 因此它对$E^2$的投影是可构造的。 这就是等价关系。 $\端组$ – Y科尔 5月15日22:46
