第21讲 类等式定理 Home / 2018 / January / 10 / 第21讲 类等式定理 第21讲 类等式定理 Jan 10, 2018 Shawn Abstract Algebra No comments yet Related Posts 抽象代数 Abstract Algebra January 2, 2018 Shawn Leave a Reply Cancel replyYour email address will not be published. Δ This site uses Akismet to reduce spam. Learn how your comment data is processed. 第22讲 n次对称群第20讲 稳定子，中心化， 正规化子 Search Search for: Home Page Tutorials Mathematics Math 240 - Discrete Math Math 375 - Linear Algebra Math 431 - Intro to Probability Math 514 - Numerical Analysis Math 521 - Analysis I Math 541 - Abstract Algebra Math 632 - Stochastic Processes Abstract Algebra @ 万门大学 Linear Algebra @ 万门大学 Category Theory Computer Sciences CS/ECE 252 - Intro to Computer Engr. CS/ECE 352 - Digital System Fund. Learn Haskell Projects 2048 Game HiMCM 2016 登峰杯 MCM Course Notes AP Macroeconomics AP Microeconomics AP Chemistry AP Statistics AP Physics C: E＆M AP Physics C: Mechanics CLEP Psychology WeChat Account TOP
![类等式定理 • 复习 ○ 对于有限群 G，令 a∈G，则 |[a]|=|G:C_G (a)| ○ Z(G)=C_G (G) • 类等式定理 ○ 如果 G 是一个有限群 ○ 从每一个包含元素个数大于 1 的等价类里 ○ 取一个元素 g_i (1≤i≤n) ○ 那么总有 |G|=|Z(G)|+∑_(i=1)^n▒|G:C_G (g_i )| • 证明 ○ G=⋃8_(g∈G)▒[g] ○ 已知 g∈Z(G) 当且仅当 |[g]|=1 ○ 故 |Z(G)| 统计了所有 |[g]|=1 的个数 ○ 又知 |G:C_G (g_i )|=|[g_i ]| ○ 故∑_(i=1)^n▒|G:C_G (g_i )| 统计了所有 |[g]|1 的个数 • 推论 ○ 命题 § 如果 |G|=p^m，其中 p 是质数，m≥1 § 那么 |Z(G)|1 即 G 的中心不是平凡子群 ○ 证明 § 由用类等式定理 |G|=|Z(G)|+∑_(i=1)^n▒|G:C_G (g_i )| § 观察得到 |G|=p^m 能被 p 整除 § 因为 g_i 不在 G 的中心里，可以证明 G § 事实上若 C_G (g_i )=G 则 g_i∈Z(G) § 根据拉格朗日定理，|G:C_G (g_i )| 能被 p 整除 § 等式 |G|=|Z(G)|+∑_(i=1)^n▒|G:C_G (g_i )| 中 § |G|, ∑_(i=1)^n▒|G:C_G (g_i )| 均能被 p 整除 § 所以 |Z(G)| 也必须能被 p 整除 § 故 |Z(G)|1](https://shawnzhong.com/wp-content/uploads/2018/01/img_5a562d1e1e36c.png)
