Desvl's blog
·
阿廷诱导特征定理
💡
原文英文，约1000词，阅读约需4分钟。
📝
内容提要
在研究线性空间时，我们对已知子空间的贡献感兴趣，通过研究它们的和或直和来实现。这个思想可以应用于表示论中的群和子群之间的关系。在有限群G中，我们想要知道子群H的特征与G的特征之间的关系。通过定义虚拟特征，我们扩展了特征的空间，并得到了一个环R(G)。R(G)是有限生成的自由阿贝尔群，是环F(G)的子环，F(G)是G上的类函数的环。同时，我们有F(G)≅C⊗R(G)。
🎯
关键要点
-
研究线性空间时，关注已知子空间的贡献，通过和或直和进行研究。
-
在表示论中，研究有限群G及其子群H的特征之间的关系。
-
定义虚拟特征，扩展特征空间，得到环R(G)，是有限生成的自由阿贝尔群。
-
R(G)是环F(G)的子环，F(G)是G上的类函数的环。
-
限制和归纳操作定义同态，且它们是对偶的。
-
Artin定理描述了有限群G的子群家族的性质。
-
通过具体例子D_4，展示了如何使用归纳-限制表。
-
证明Artin定理时，展示了coker(Ind)是有限的。
-
通过Frobenius互易性，证明了类函数的性质。
➡️
