设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的每个元素都是有限阶元素（这样的群称为周期群），[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的子群，[tex=4.714x1.357]KgMBRWqzFg7+aCDKMSr+Pg==[/tex]，又[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中任何非幺元的阶不小于[tex=0.929x0.786]FTfUoplPStit3eMYfNbP0g==[/tex]，试证[tex=2.571x1.0]YyiYrIbed1bTdcaxb36/XfmDQoWJtBSkcWc6jjNXyq4=[/tex]。
举一反三
- 设[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的有限子群, [tex=2.786x1.357]gGafzCAY5HUDydhqr4pyuw==[/tex].假设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]只有一个阶为[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]的子群, 证明：[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群.
- 设 [tex=0.5x1.0]wPh71/L+tm8emC/JD+8oZg==[/tex] 是群 [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=2.786x1.429]B9dTMVNvhdNezOzLQcorYw==[/tex]同构 。
- [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]中都正规 .
- 设[tex=0.857x1.0]+NBI8Pm2vVS+bGgOpHKyOA==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一个子群，证明：[tex=0.857x1.0]+NBI8Pm2vVS+bGgOpHKyOA==[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的特征子群，当且仅当对[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的每个自同构[tex=0.571x0.786]G/buLKOLYVDEKMZ76t752w==[/tex]都是[tex=3.786x1.357]/hUAIv2XJLX3YXBqW5nP/A==[/tex].
- 设[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一个非空子集，且[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]中每个元素的阶都有限. 证明[tex=3.0x1.143]Y4KThpboUkwolMqAX9epwA==[/tex]当且仅当[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]对[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的乘法封闭.