关于交换李群的有限维不可约酉表示中G-模自同态的疑问

嘿，我来帮你把这个困惑捋清楚！你提到的这个点，核心就是交换李群的性质在起关键作用，咱们一步步拆解：

首先得明确：什么是G-模的自同态？它不是说V是G上的向量空间（你说的没错，G不是域，这不可能），而是指一个线性映射$T: V \to V$，要满足和群的表示作用可交换——也就是对任意$h \in G$、任意$v \in V$，都有$T(\pi(h)v) = \pi(h)T(v)$。

现在看你定义的映射$T_g: V \to V$（即$T_g(v) = \pi(g)v$），咱们来验证它是不是满足这个条件：

因为G是交换群，所以对任意$h \in G$，都有$gh = hg$。而酉表示$\pi$本身是群同态，所以$\pi(gh) = \pi(g)\pi(h)$，$\pi(hg) = \pi(h)\pi(g)$。

那咱们分别计算等式两边：

• 左边：$T_g(\pi(h)v) = \pi(g)(\pi(h)v) = (\pi(g)\pi(h))v = \pi(gh)v$
• 右边：$\pi(h)T_g(v) = \pi(h)(\pi(g)v) = (\pi(h)\pi(g))v = \pi(hg)v$

因为G交换，$gh = hg$，所以$\pi(gh) = \pi(hg)$，这就意味着左边等于右边！也就是说$T_g(\pi(h)v) = \pi(h)T_g(v)$对所有$h \in G$和$v \in V$都成立，这就满足了G-模自同态的定义。

你之前觉得它是$\mathbb{R}$-模自同态，这没错——因为它首先是线性映射，自然保$\mathbb{R}$-线性结构，但G-模自同态是更强的条件，要求它还“保群的作用”，而G的交换性刚好让这个映射满足了这个更强的条件。

备注：内容来源于stack exchange，提问作者some_math_guy