为何$Rad(P_S)/Soc(P_S)$是两个单列模的直和？（附代数表示论背景）

嘿，这个问题得结合Alperin《局部表示论》里的循环亏群块语境来唠——书里这部分默认是在讨论亏群为循环群的块，而且题目里char(k)整除|G|是必要前提，不然根本不会有非平凡的p-亏群，也轮不到这个结论出场~

下面一步步拆解：

• 先回忆投射盖的基础性质
  对于单kG-模S的投射盖P：

  • 它的基座Soc(P)和顶都是同构于S的（投射盖的基座等于顶的对偶，单模的顶就是自己，所以Soc(P)≅S）
  • Rad(P)是P的极大根子模，我们要分析的就是Rad(P)去掉Soc(P)之后的商模结构。

• 核心：循环亏群块的Brauer树结构
  当块的亏群是循环群时，所有不可约模的结构都能靠Brauer树来刻画：

  • 树的每个顶点对应块里的一个单kG-模
  • 每条边对应块里的一个不可约投射模
    咱们的投射盖P就对应树里的某条边，书里前面已经铺垫了关键结论：在循环亏群块中，不可约投射模P的根Rad(P)可以写成两个单列子模U和V的和，而且这两个子模的交集恰好是Soc(P)。根据模的同构定理，Rad(P)/Soc(P) = (U+V)/Soc(P) = U/Soc(P) ⊕ V/Soc(P)，而U/Soc(P)和V/Soc(P)都是单列模——这就直接得到了咱们要的结论。

• 再补个直观感受
  循环亏群块的Brauer树是个树状结构，每个单模顶点（除了树的端点）都连两条边，对应到投射盖的结构，就是从顶S出发，有两条不同的单列扩张路径最终回到基座S，中间的商模自然就是这两条路径对应的单列模的直和啦。

内容的提问来源于stack exchange，提问作者FunctionOfX