3、有限群表示论中的块与特征标

有限群表示论中的块与特征标

1. 引言

在有限群表示论中，普通表示理论（即在复数域上的表示理论）是一个相当完善的理论。根据马施克定理，每个表示都可以分解为不可约表示的直和，有限群 (G) 的一个给定表示由其特征标唯一确定，并且群代数 (CG) 是复数域上矩阵代数的直和，每个矩阵代数对应一个不可约表示，其维数等于该表示的次数。

然而，当考虑特征 (p>0) 且 (p) 整除群的阶的域 (k) 时，情况就大不相同了。并非所有表示都能分解为不可约表示的直和，因此特征标不一定能确定一个表示，而且群代数也不是 (k) 上矩阵代数的直和。

2. 块的定义与性质

2.1 块的定义

设 (G) 是有限群，(k) 是特征为 (p) 的代数闭域。我们可以将群代数 (kG) 写成一些代数的直和：
(kG = B_1 \oplus B_2 \oplus \cdots \oplus B_r)
其中每个 (B_i) 是 (kG) 的不可分解双边理想直和项，这些 (B_i) 被称为 (kG) 的块，对于特征为 (p) 的代数闭域 (k)，(B_i) 也称为 (G) 的 (p) - 块。

2.2 块幂等元

为了从元素的角度定义块，我们需要一些定义：
- 幂等元 ：设 (A) 是环，元素 (e \in A) 是幂等元，如果 (e^2 = e)。
- 中心幂等元 ：元素 (e) 是中心的，如果对于所有 (a \in A)，有 (ae = ea)。
- 本原中心幂等元