设[tex=3.714x1.214]YpDAgk79jDOLM2xzMz+SDg==[/tex]为群,[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex] 为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的非空子集. 证明:[tex=3.786x1.214]m9JzN03D8qaY4XDaEzymPw==[/tex] 为 [tex=3.714x1.214]YpDAgk79jDOLM2xzMz+SDg==[/tex]的子群当且仅当对任意元素[tex=2.786x1.214]2nrLjaJUguA9sJeYaKIdHA==[/tex]有[tex=4.214x1.286]0yMdLmPSE2csqahglHNOvsJA7UwPvO+YNxGWu0ZE4uk=[/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]的乘法封闭.
- 设群[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]。
- 设[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.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.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]的正规子群.