1 基本概念
群代数是将群的乘法结构用线性方式嵌入到代数中的对象。它把群元素视为一组线性基，并允许对这些基元作系数运算，从而形成兼具群论与线性代数特征的代数体系。由于这一构造方式直观且灵活，群代数在研究表示、模、理想和分解问题时都非常常见。
1.1 定义
群代数通常以群和系数环共同确定。给定群 \(G\) 与交换环 \(k\)，群代数 \(kG\) 由群元素的有限线性组合构成，并在适当的加法与乘法规则下成为一个含单位元的代数。
1.1.1 形式线性组合
群代数中的元素可以写成 \[ \sum_{g\in G} a_g g, \] 其中 \(a_g\in k\)，且只有有限多个 \(a_g\) 非零。这里的 \(g\) 并不只是普通符号，而是同时作为代数中的基元素参与运算。这样的表达方式称为形式线性组合，它强调的是代数结构，而非数值函数本身。
1.1.2 乘法规则
群代数的乘法由群乘法自然诱导。若 \[ x=\sum a_g g,\quad y=\sum b_h h, \] 则定义 \[ xy=\sum_{g,h} a_g b_h(gh). \] 这一定义先在基元上按群运算相乘，再通过分配律扩展到一般元素。它保证了群的乘法规律在群代数中被完整保留。
1.1.3 单位元与零元
群代数的零元是所有系数都为零的线性组合；单位元则由群的单位元 \(e\) 给出，通常记为 \(1=e\)。因此，群代数既有与普通环相同的加法零元，也保留了群单位元在代数中的角色。
1.2 记号与常见写法
群代数的写法并不完全统一，常见记号会随系数环和语言习惯略有变化，但本质上表示同一类对象。
1.2.1 kG 与 FG
\(kG\) 是最常见的记号，其中 \(k\) 表示任意交换环或域；当系数域记作 \(F\) 时，也常写作 \(FG\)。在有限群表示论中，\(FG\) 尤为常见，因为很多结论会根据域的特征而发生变化。
1.2.2 有限群与无限群情形
若 \(G\) 是有限群，则群代数中的每个元素自动是有限和，结构较为紧凑。若 \(G\) 是无限群，定义仍要求只有有限多个非零系数，因此群代数元素仍是有限支撑的线性组合，而不是任意无限级数。
1.2.3 系数环的选择
系数可以取域、整环或更一般的交换环。不同系数环会影响群代数的性质，例如半单性、零因子行为、理想结构等。通常，取域时更适合表示论分析；取整数环时则更接近算术性质。
1.3 元素表示
群代数中的元素既可看作线性组合，也可看作关于群基的一组坐标。这种双重视角使其便于计算与理论分析。
1.3.1 基与坐标表示
群 \(G\) 的每个元素都对应群代数中的一个基向量，因此群代数可视为以 \(G\) 为基的自由模。一个元素的系数集合就像它在该基下的坐标，能够直接反映该元素由哪些群元组成。
1.3.2 支撑集
一个群代数元素的支撑集，是指其系数不为零的那些群元素所构成的集合。支撑集有限是群代数定义中的核心条件之一，它保证代数运算在形式上始终可控。
1.3.3 线性组合的唯一性
由于群元素构成基，群代数元素的表示是唯一的。也就是说，一个线性组合若表示为零，则每个系数都必须为零。这一性质是群代数作为自由模的重要体现。
2 构造与基本性质
群代数的构造本质上是“先取自由模，再赋予乘法”。这一过程使群论结构与环论结构自然结合，并为进一步研究其模性质、理想分解与表示行为奠定基础。
2.1 从群到代数的构造
群代数并不是随意拼接出来的对象，而是由群的基元和系数环的线性结构系统地生成。
2.1.1 由群基生成的自由模
以群 \(G\) 作为一组基元，在系数环 \(k\) 上构造自由模 \(k^{(G)}\)，其元素是有限支撑函数或有限线性组合。这个自由模正是群代数的加法结构基础。
2.1.2 乘法的双线性延拓
在基元素上规定 \(g\cdot h=gh\)，再要求乘法对加法和系数运算双线性，就得到整个群代数的乘法。双线性延拓保证了从群乘法到代数乘法的自然过渡。
2.1.3 结构常数
若以群元为基，则乘法满足 \[ g_i g_j = g_k, \] 其中 \(g_k\) 由群乘法唯一确定。此时结构常数要么为 0，要么为 1，这使群代数的乘法规则比一般代数更直观。
2.2 作为环的性质
群代数不仅是模，也是一个环，因此可以讨论交换性、单位元、零因子等标准环论问题。
2.2.1 交换性条件
群代数 \(kG\) 何时交换，取决于两点：系数环 \(k\) 是否交换，以及群 \(G\) 是否阿贝尔。通常，只有当 \(G\) 交换时，群代数才可能交换；若 \(G\) 非交换，则群代数通常也非交换。
2.2.2 单位元与可逆元
单位元由群单位给出。至于可逆元，群元素本身在群代数中总是可逆的，逆元就是群中的逆元素。除此之外，带非零系数的线性组合是否可逆，则要依赖更细致的结构分析。
2.2.3 零因子与整环问题
群代数是否存在零因子，取决于群和系数环的组合。即使系数环本身是整环，群代数也未必是整环；有限群代数尤其常出现零因子。这类问题在环论与表示论中都十分重要。
2.3 作为模的性质
群代数天然带有模结构，这也是它与表示论建立联系的关键入口。
2.3.1 左模与右模结构
群代数可以作为自身的左模或右模来研究，也可以作为其他代数上的作用对象。左乘与右乘给出不同的模结构，在非交换情形下二者通常并不相同。
2.3.2 自由模结构
作为系数环 \(k\) 上的模，\(kG\) 以群元为基，因此是一个自由 \(k\)-模。若 \(G\) 有 \(n\) 个元素，则 \(kG\) 的秩为 \(n\)；若 \(G\) 无限，则其秩相应为无限。
2.3.3 张量积视角
群代数也可借助张量积来理解，尤其在比较不同系数环时更为便利。通过张量积，可以把某些群环从一个系数环扩张到另一个系数环，从而研究性质在基变换下如何变化。
3 经典例子
若从具体群出发，群代数的结构往往更容易把握。循环群、二面体群和有限阿贝尔群是最常见的入门例子。
3.1 循环群的群代数
循环群的群代数具有高度规则的结构，常可化为多项式环的商环，因此非常便于计算。
3.1.1 一元多项式表示
设循环群由元素 \(x\) 生成，且满足 \(x^n=e\)。那么群代数中的元素可写成 \[ a_0+a_1x+\cdots+a_{n-1}x^{n-1}, \] 形式上类似一元多项式，只是幂次按群关系循环。
3.1.2 商环刻画
当群为有限循环群 \(C_n\) 时，群代数常可写为 \[ kC_n \cong k[t]/(t^n-1). \] 这里 \(t\) 对应生成元，关系 \(t^n=1\) 通过商理想编码进去。此表示法在计算和结构分析中都非常实用。
3.2 二面体群的群代数
二面体群反映了正多边形的对称性，其群代数常用于展示非交换结构的典型特征。
3.2.1 生成元与关系
二面体群通常由旋转元 \(r\) 和反射元 \(s\) 生成，满足 \[ r^n=e,\quad s^2=e,\quad srs=r^{-1}. \] 因此其群代数由这些生成元的线性组合构成，并继承相应的关系。
3.2.2 低维表示的直观理解
在群代数框架下，二面体群的表示可解释为对某个向量空间的线性作用。旋转常对应保持方向的线性变换，反射则对应翻转操作，因此其低维表示往往具有较强的几何直观性。
3.3 有限阿贝尔群的群代数
有限阿贝尔群的群代数比一般非交换群更容易分解，常能拆成若干较简单的代数因子。
3.3.1 分解结构
若有限阿贝尔群可分解为若干循环群的直积，则其群代数也常可借助相应生成元写成较规则的形式。这类分解有助于将复杂问题化为多个一维或低维分量。
3.3.2 与多项式环的联系
有限阿贝尔群的群代数往往可表示为若干多项式环模去由群关系生成的理想。因而它与代数几何和交换代数中的商环技术存在天然联系。
4 结构理论
群代数的深层性质主要通过理想、中心和根等概念来刻画。这些工具帮助人们理解其分解方式和内部对称结构。
4.1 理想与商代数
理想是研究群代数结构最基础的对象之一。通过理想可以构造商代数，并分析原代数的局部与整体性质。
4.1.1 生成理想
由某些群代数元素生成的理想，通常包含这些元素在左右乘下能够产生的全部线性组合。若由群元或特定和式生成理想，则常带有明确的对称性来源。
4.1.2 余维与商结构
理想的余维反映商代数的大小。对于有限维群代数，理想商往往仍是有限维向量空间，其维数可帮助判断分解层次与模结构。
4.2 中心与交换子
中心记录了与所有元素都可交换的部分，是衡量非交换程度的重要指标。
4.2.1 中心元的描述
群代数的中心由那些与每个基元都交换的线性组合组成。它们通常具有明显的群论来源，例如由共轭不变的系数组合构成。
4.2.2 共轭类与中心基
在有限群情形下，中心常可用共轭类和的线性组合来描述。每个共轭类对应一个中心元素的候选基，从而把群的共轭结构直接映射到代数中心中。
4.3 Jacobson 根与幂零性
Jacobson 根反映代数中“最不显半单”的部分，是结构理论中的核心对象之一。
4.3.1 根的定义
Jacobson 根可理解为所有极大左理想的交，也可用其他等价方式定义。它捕捉了在简单模上作用“消失”的元素集合。
4.3.2 幂零理想
在很多群代数中，Jacobson 根具有幂零性，即某个幂次后会变成零理想。幂零性表明该部分结构在迭代乘法下会逐渐退化。
4.3.3 结构判别
通过观察根是否为零、是否幂零，以及商代数是否半单，可以判别群代数的整体层次。此类判别在有限维情形尤为有效。
5 表示论联系
群代数最重要的用途之一，就是把群表示转化为模论问题。借助这一桥梁，许多表示论结论可以用代数语言统一表述。
5.1 群表示与模表示
群表示和群代数模之间存在直接对应关系，这种对应是现代表示论的基础。
5.1.1 群表示到模的对应
若群 \(G\) 作用在向量空间 \(V\) 上，则可将 \(V\) 看作群代数 \(kG\) 的模；反过来，群代数上的模也能限制为群的表示。这样，研究群表示就等价于研究相应的模结构。
5.1.2 线性表示的语言转换
在群论中谈“表示”，在群代数中则转化为“模”。这种语言转换让许多问题更适合使用环论与线性代数工具处理，例如子模、商模和直和分解。
5.2 简单模与不可约表示
简单模是群代数表示理论中的基本构件，对应于不可约表示。
5.2.1 简单性判别
一个模若没有非平凡子模，则称为简单模。对应地，一个群表示若不能再分解为更小的非零表示，则称为不可约表示。二者在群代数框架下本质一致。
5.2.2 分解与直和
许多表示可分解为简单模的直和。若分解成立，则研究原表示便可转化为研究若干不可约分量及其重数，这大大简化了分类问题。
5.3 半单性理论
半单性是群代数的关键性质之一，决定了表示是否可以完全拆成简单块。
5.3.1 Maschke 定理
Maschke 定理指出，在适当条件下，群代数是半单的，因而每个有限维表示都能完全分解为简单表示的直和。这一定理在有限群表示论中占据核心地位。
5.3.2 特征与群阶的关系
半单性往往依赖于系数域特征是否整除群阶。若特征不整除群阶，则常可得到良好的分解性质；若特征整除群阶，则表示理论通常会变得更复杂。
5.3.3 分裂情形
在某些系数域上，群代数不仅半单，而且还能进一步完全分裂为矩阵代数的直积。这种分裂情形使简单模和角色理论的描述更为清晰。
6 重要定理与判别
群代数中的若干经典定理提供了判断结构的重要工具，尤其适用于有限群和有限维情形。
6.1 Maschke 定理
Maschke 定理是有限群表示论的基础性结果，也是群代数半单性的标准判据之一。
6.1.1 定理内容
| 该定理表明：若群 \(G\) 有限，且系数域的特征不整除 \( | G | \)，则群代数 \(kG\) 半单。于是每个有限维 \(kG\)-模都可分解为简单模直和。 |
|---|
6.1.2 应用条件
该结论要求群有限，并且系数域的特征与群阶互素。若条件不满足，半单性通常会失效，表示结构也会随之变得更复杂。
6.2 Wedderburn 分解
Wedderburn 分解描述半单代数如何拆成若干简单矩阵块，是理解群代数结构的关键工具。
6.2.1 半单代数分解
在半单条件下，有限维群代数可分解为若干矩阵代数的直积。每个矩阵块对应一个简单模，整体结构因此被清晰分类。
6.2.2 简单分量
分解中的每个简单分量通常是某个全矩阵环。简单分量的大小与不可约表示的维数密切相关，因此分解结果也包含了表示的尺寸信息。
6.3 Augmentation 理想相关结论
增广映射及其核在群代数理论中极其常见，尤其在研究商结构与根时作用突出。
6.3.1 增广映射
增广映射是将群代数元素的系数求和得到的环同态。对于 \(\sum a_g g\)，其像通常为 \(\sum a_g\)。这个映射把群代数投影到系数环中。
6.3.2 增广理想
增广理想是增广映射的核，由所有系数和为零的元素组成。它是群代数中最基本的理想之一，常用于研究模结构和幂零行为。
6.3.3 与商结构的关系
群代数模去增广理想后，通常得到与系数环同构的商。该结果说明群代数在某种意义上是对系数环的扩张，而增广理想则刻画了其中“偏离标量部分”的内容。
7 特殊情形与推广
群代数有许多变体和推广形式，不同情形下会呈现出不同的代数行为。
7.1 有限群代数
有限群代数是最常研究的一类群代数，因为它兼具有限维性与丰富的表示结构。
7.1.1 模特征情形
当系数域特征整除群阶时，群代数通常不半单，简单模与块理论会变得尤为重要。此时出现的模特征现象，使得分解与同构判断更加微妙。
7.1.2 交换代数情形
若群是有限阿贝尔群，则群代数可能是交换代数。这类情形适合用交换环方法分析，也便于与多项式环和分解理论相结合。
7.2 群环
群环是群代数在交换环上的一般化称呼，尤其强调系数不一定是域。
7.2.1 整数系数群环
当系数环取整数环 \(\mathbb{Z}\) 时，得到整数群环 \(\mathbb{Z}G\)。它在数论、K 理论和模表示中都很重要，兼具算术与代数性质。
7.2.2 一般交换环上的群环
若系数换成任意交换环，群环仍可按同样方式定义。此时很多关于自由模、增广理想和基变换的结论仍然成立，但半单性等性质往往不再适用。
7.3 受限群代数
受限群代数主要出现在正特征代数环境中，与李代数和代数群理论关系密切。
7.3.1 正特征下的受限结构
在正特征下，某些群代数或相关对象会带有额外的受限算子结构，使幂运算与代数运算之间出现特殊关系。这类结构通常比普通群代数更细致。
7.3.2 与李代数的联系
受限群代数与受限李代数之间存在深刻联系，常用于研究正特征下的表示与包络代数问题。两者在结构和分类上互相借鉴。
8 应用
群代数不仅是抽象代数中的基础对象，也在多个应用方向中发挥作用，尤其适合处理对称性和线性分解问题。
8.1 代数表示论
群代数是代数表示论的核心工具之一，几乎所有经典群表示问题都可以在其框架内重述。
8.1.1 角色理论
通过群代数可以定义和研究角色，尤其是不可约角色及其正交关系。角色理论把抽象表示的等价信息压缩成更易计算的数值函数。
8.1.2 模分类问题
群代数的模分类是表示论的重要目标。借助简单模、分解矩阵和块分解等工具，可以对一定范围内的群表示进行系统分类。
8.2 组合与编码
群代数与组合结构和编码设计之间有天然联系，特别适合描述具有周期性或对称性的对象。
8.2.1 循环码
循环码可以借助循环群的群代数表示为理想，从而把编码问题转化为代数中的理想问题。这种方法使编码的生成与检验更加统一。
8.2.2 置换表示
群对集合的置换作用可通过群代数转为线性作用，并用于研究图论、设计和组合结构中的对称性。置换表示往往是构造具体模的重要来源。
8.3 计算与算法
随着计算代数的发展，群代数也成为可被算法处理的重要对象。
8.3.1 乘法表计算
对有限群代数而言，基元之间的乘法可由群乘法表直接生成。借助这一点，可以自动构造代数运算规则，并进行符号计算。
8.3.2 分解算法
群代数的直和分解、简单分量识别以及模分解，常依赖计算算法实现。对于有限维情形，这些算法可辅助完成结构判别和表示分解。
8.3.3 计算机代数系统实现
许多计算机代数系统都提供了群、群环和模的相关功能，可用于计算中心、理想、角色与分解信息。借助这些工具，群代数的理论结果能够更方便地用于实际计算与实验验证。