证明:若群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶子群有且只有一个,则此子群必为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群.

公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！

2022-10-27

证明:若群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶子群有且只有一个,则此子群必为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群.

答案：

证：设群[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶子群,则[tex=3.143x1.071]T0RveP9X50AYgo23dfRGIYwsjLnrq/g5DcfMhKejxgU=[/tex],由易知 [tex=2.857x1.214]tUg9/V2jhYrz5zvI4E5Piw==[/tex]也是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一个[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶子群. 因为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 阶子群都是惟一的,所以[tex=6.5x1.357]fF1w9VaiqzmEdcewU9SqXQNuuNb10uYF4lJMq4s5Hy3KuAZigXvTR17xK5OvAP6T[/tex],即[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群.

举一反三

内容

0
[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是群,[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex] 是循环子群且在[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中正规,则 [tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex] 的子群在[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中都正规 .
1
证明,群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的两个子群的交集也是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的子群.
2
设[tex=0.786x1.0]kEam2pLJe4uAYVdcny2W5g==[/tex]，[tex=0.786x1.0]EsJDtGYVBcAkNM+hi9jDJg==[/tex]为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群且[tex=4.929x1.357]W5SI+V/Ykf5VFGgvg55aNA==[/tex]，证明[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]与[tex=6.929x1.357]5QJWC7+XwfurN5BXLfL2dcXNdbP4kICK9Uoho98wlT8=[/tex]的一个子群同构。
3
[tex=0.643x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 有 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶循环子群当且仅当 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]有[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶元.再证 :[tex=2.071x1.357]uDUdwqeJnLoclMiXU3BK6A==[/tex] 是素数 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 阶群,则 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是循环群.[tex=2.071x1.357]leZ2dm1/uybUxLAV8A9gwA==[/tex] 是[tex=1.071x1.214]QNlCeTWiPvK4dPwBORP+PQ==[/tex]阶非交换群[tex=1.0x1.0]zdNN1O/FkAWt1pjWeDlxUg==[/tex]素数,则[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 必有[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 阶子群.
4
设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的子群[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]的指数为[tex=0.643x0.786]h6IfGOxBlahC8le5jX4WiA==[/tex]，证明[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]中包含[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一个正规子群 [tex=0.857x1.0]+NBI8Pm2vVS+bGgOpHKyOA==[/tex]且[tex=4.714x1.357]LSBY9QklY9u2L9/QUilFW4M3NvE4IIJ9caTgMo3kWgo=[/tex]。