1、有限群表示论基础入门

有限群表示论基础入门

1. 有限群表示论概述

有限群表示论的核心存在一系列未解决的问题，它们被统称为“局部 - 整体猜想”，不过称之为“局部 - 整体粗略猜测”或许更为贴切。这些猜想大多具有数值性质，暗示着存在某种精妙的潜在结构理论，但目前我们还难以察觉。这些数值结果本身就颇具吸引力，而潜在的隐藏结构更是让这一领域魅力十足。

除了这些猜想，有限群表示论还涵盖诸多其他内容，如循环亏群块的理论、对称群和李型群的表示理论以及驯顺块的结构等。

2. 表示论基础概念

2.1 基本定义

• 表示与模块 ：设 (k) 为特征为 (p)（(p) 可以为 0）的域，通常假定 (k) 是代数闭域。群 (G) 的一个表示是一个同态 (G \to GL_n(k))，这等价于一个（有限维）(kG) - 模的概念。群代数 (kG) 是由群元素的所有形式有限线性组合构成的 (k) - 代数，其加法和乘法由明显的线性运算给出。右 (kG) - 模是群代数 (kG) 的右模，可简单看作一个带有 (G) 作用的向量空间。
• 子模与商模 ：若 (M) 是 (kG) - 模，(N) 是 (M) 的子模（记为 (N \leq M)），则可形成商模 (M/N)，它是标准的商向量空间，并具有自然继承的群作用。
• 模同态与同构 ：(kG) - 模同态 (\varphi : M \to N) 是底层向量空间之间的线性变换，满足 ((mg)\varphi = (m\varphi)g)（对所有 (m \in M) 和 (