马施克定理, 在代数中, 是有限群表示论中基本的定理之一, heinrich, maschke此條目的引用需要进行清理, 使其符合格式, 2012年3月23日, 参考文献应符合正确的引用, 脚注及外部链接格式, 定理, 编辑若v, displaystyle, nbsp, 是域k, displaystyle, nbsp, 上的有限维线性空间, displaystyle, nbsp, 是有限群g, displaystyle, nbsp, 的表示, displaystyle, nbsp, 是v, displaystyle. 在代数中 马施克定理是有限群表示论中基本的定理之一 Heinrich Maschke此條目的引用需要进行清理 使其符合格式 2012年3月23日 参考文献应符合正确的引用 脚注及外部链接格式 定理 编辑若V displaystyle V nbsp 是域K displaystyle K nbsp 上的有限维线性空间 V r displaystyle V rho nbsp 是有限群G displaystyle G nbsp 的表示 U 0 displaystyle U 0 nbsp 是V displaystyle V nbsp 的G displaystyle G nbsp 不变子空间 K displaystyle K nbsp 的特征不能整除G displaystyle G nbsp 的阶 则存在V displaystyle V nbsp 中的G displaystyle G nbsp 不变子空间W displaystyle W nbsp 使得V W U displaystyle V W oplus U nbsp 从而 V r displaystyle V rho nbsp 是完全可约的 证明 编辑U 0 displaystyle U 0 nbsp 是V displaystyle V nbsp 的子空间 所以存在U 0 displaystyle U 0 nbsp 在V displaystyle V nbsp 中的补空间W 0 displaystyle W 0 nbsp 及投影P 0 displaystyle P 0 nbsp Q 0 displaystyle Q 0 nbsp 使得U 0 P 0 V displaystyle U 0 P 0 V nbsp W 0 Q 0 V displaystyle W 0 Q 0 V nbsp P 0 2 P 0 Q 0 2 Q 0 P 0 Q 0 Q 0 P 0 0 displaystyle P 0 2 P 0 Q 0 2 Q 0 P 0 Q 0 Q 0 P 0 0 nbsp P 0 Q 0 1 displaystyle P 0 Q 0 1 nbsp 由条件 K displaystyle K nbsp 的特征不能整除G displaystyle G nbsp 的阶 令N G displaystyle N G nbsp 则N displaystyle N nbsp 是域K中的可逆元 定义新的投影算子P N 1 g G g P 0 g 1 displaystyle P N 1 sum g in G gP 0 g 1 nbsp Q N 1 g G g Q 0 g 1 displaystyle Q N 1 sum g in G gQ 0 g 1 nbsp 则P Q 1 displaystyle P Q 1 nbsp P 2 P displaystyle P 2 P nbsp Q 2 Q displaystyle Q 2 Q nbsp P Q Q P 0 displaystyle PQ QP 0 nbsp 于是V U W displaystyle V U oplus W nbsp 其中 U Im P displaystyle U textrm Im P nbsp W Im Q displaystyle W textrm Im Q nbsp 由P displaystyle P nbsp 的定义 U Im P U 0 displaystyle U textrm Im P subseteq U 0 nbsp 另一方面可以直接验证 u P 0 v U 0 Q u Q P 0 v 0 displaystyle forall u P 0 v in U 0 Qu QP 0 v 0 nbsp 从而 U 0 Ker Q Im P U displaystyle U 0 subseteq textrm Ker Q textrm Im P U nbsp 故 U U 0 displaystyle U U 0 nbsp V U 0 W displaystyle V U 0 oplus W nbsp 注意到 g G g Q Q g displaystyle forall g in G gQ Qg nbsp W displaystyle W nbsp 是G displaystyle G nbsp 不变子空间 证毕 参考 编辑 有限群和紧群的表示论 丘维声 北京大学出版社 第一版 1997年12月 第27页 取自 https zh wikipedia org w index php title 马施克定理 amp oldid 71383950, 维基百科,wiki,书籍,书籍,图书馆,