![fe8905ca6eb0bc81cea6d74db3e684b4.png](https://i-blog.csdnimg.cn/blog_migrate/f718540e71f0dd478f63c3855dd920b5.jpeg)
内容提要:
1 群代数; 2 域上的有限维群代数和Maschke定理; 3 函数环; 4 代数闭域上的群表示论; 本文主要参考文献.
本文的前置内容为:
格罗卜:群论(1): 群, 同构定理, 循环群
格罗卜:群论(2): 群作用, Sylow定理
更多内容,请移步专栏目录:
格罗卜:格罗卜的数学乐园-目录zhuanlan.zhihu.com![a5cee4b664ae5c6fe42645f0d37807a6.png](https://i-blog.csdnimg.cn/blog_migrate/b19b72990ce485f9fd959511c0be31d9.jpeg)
1-1. [群代数] 如果
- (1)
首先是自由
-模, 它有基
- (2)
的乘法由群乘法给出, 并线性扩张到整个
上.
注:
1-2. [整群环上的模] 如果
-
;
-
;
-
.
反之, 假如我们有群
-
-
;
-
.
那么交换群
1-3. [群代数的泛性质]
1-4. [乘积的群代数]
[证明] 抽象废话.
2 域上的有限维群代数和Maschke定理
2-1. [非特征
[证明] 首先定义一个特殊元素, 它显然不是
, 并且对于任意的
都有
, 由此可见
双侧理想.是一个
然而, 也就是说
,
.
2-2. [向量空间态射变模态射]
2-3. [Maschke定理]
[证明] 对于任意的和
的子模
,
作为-向量空间有直和分解:
,
考虑投射, 并令
, 于是有
,
, 因此
.
2-4. [例子]
2-5. [例子]
3 函数环
3-1. [点态函数环]
我们记
-
作为有限维
-向量空间有对偶基:
即
我们来给出
-
的乘法: 点态乘法.
-
的幺元为
即在任意
处取
值的函数.
-
的零元为
, 即任意
处取
值的函数.
-
为两两正交的幂等元, 所以
.
3-2. [卷积函数环]
我们记
-
作为有限维
-向量空间有对偶基:
即
我们来给出
-
的乘法: 任意
定义乘法:
.
-
的幺元为
.
-
的零元为
, 即任意
处取
值的函数.
-
, 所以作为
-代数有
.
4 代数闭域上的群表示论
4-0. 基本假定: 在此小节中, 始终假定
4-1. [分解为矩阵环的积] 由于
4-2. [数量关系] 条件同4-1, 我们有
[证明] 直接比较维数即可.
4-3.
- 我们总是可以认为
, 即分解中的子代数
.
4-4. [共轭类] 用
4-5. [群代数的中心] 根据定义, 我们有:
进一步地, 有:
[证明] 首先, 显然的是
-线性无关的.
然后, 对于任意, 任意
, 由
可以得到
对任意,
.
4-6. [数量关系] 我们有
4-7. [交换群情形]
4-8. [Schur引理]
[证明]是有限维可除
-代数, 因此
.
4-9. [一般线性群] 给定
4-10. [有限群的表示]
4-11. [一一对应] 给定
本文主要参考文献: Joseph J.Rotman : 高等近世代数, Advanced Modern Algebra, 出版社:机械工业出版社, ISBN:9787111191605
高等近世代数 (豆瓣)book.douban.com![0d74b213574bb269ec8973f5a47bb183.png](https://i-blog.csdnimg.cn/blog_migrate/3a575ce8c34050bf5342a63f0f89030e.png)