有限群CG-模表示对角化基的证明及思路正确性验证

嗨，你的思路方向是完全正确的！不过我们可以把这个想法拆解得更严谨，一步步完成证明：

第一步：回顾1维$\mathbb{C}G$-模的核心性质 #

每个1维子模$U_i$的关键特点是：对任意群元素$g \in G$，$g$在$U_i$上的作用是标量乘法。具体来说，存在一个映射$\chi_i: G \to \mathbb{C}^{\times$（$\mathbb{C}}\times$是非零复数乘法群），使得对所有$u \in U_i$，都有$g \cdot u = \chi_i(g)u$。这里的$\chi_i$是$G$的1维特征标，天然满足群同态的性质：$\chi_i(gh) = \chi_i(g)\chi_i(h)$，且$\chi_i(e)=1$（$e$是$G$的单位元）。

第二步：构造$V$的目标基 #

因为$V = U_1 \oplus U_2 \oplus \cdots \oplus U_k$是直和，我们可以从每个$U_i$中选取一个非零元素$v_i$（由于$U_i$是1维的，${v_i}$本身就是$U_i$的一组基）。那么集合$\mathcal{B} = {v_1, v_2, ..., v_k}$就是$V$的一组基：

• 线性无关性：如果$\sum_{i=1}^k a_i v_i = 0$（$a_i \in \mathbb{C}$），直和的性质保证每个$a_i v_i$必须是0（不同子模的元素和为0当且仅当每个元素都是0），而$v_i \neq 0$，所以所有$a_i=0$。
• 张成性：任意$v \in V$都可以唯一写成$v = u_1 + u_2 + ... + u_k$（$u_i \in U_i$），每个$u_i$都是$v_i$的标量倍数，因此$v$能表示为$\mathcal{B}$中向量的线性组合。

第三步：验证该基下的表示是对角矩阵 #

定义$V$在基$\mathcal{B}$下的表示$\rho: G \to GL(V)$，其中$\rho(g)$是$g$作用对应的矩阵。对每个基向量$v_i$，有：
$$g \cdot v_i = \chi_i(g)v_i$$
这意味着$\rho(g)$在基$\mathcal{B}$下的矩阵中，第$i$行第$i$列的元素是$\chi_i(g)$，其余位置都是0——也就是对角矩阵，对角元依次为$\chi_1(g), \chi_2(g), ..., \chi_k(g)$。

第四步：确认$\rho$是合法的群表示 #

我们只需要验证两个核心条件：

1. 单位元的作用：$\rho(e)$的对角元都是$\chi_i(e)=1$，因此$\rho(e)$是单位矩阵，符合要求。
2. 群运算的相容性：对任意$g,h \in G$，$\rho(gh)$的对角元是$\chi_i(gh) = \chi_i(g)\chi_i(h)$（因为$\chi_i$是群同态），而$\rho(g)\rho(h)$的对角元恰好是$\chi_i(g)\chi_i(h)$，因此$\rho(gh) = \rho(g)\rho(h)$。

对你思路的验证 #

你提到的“用$U_i$的特征值构造对角矩阵”这个想法完全切中要害！本质上，每个1维子模的群作用就是标量乘法，这些标量就是你所说的“特征值”，而直和的基刚好让每个基向量都被群元素以标量方式作用，自然就得到了对角化的表示。你的核心直觉是对的，只是需要把“等价表示”的细节用直和基的构造和1维模的性质严谨地补全。

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