设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]作用在集合[tex=0.857x1.0]N7iCrOsS+NNEUUlnsYCi1g==[/tex]上，[tex=2.643x1.071]insAGSLpnl0T70r5XKDlCw==[/tex]，证明 [tex=1.071x1.214]91sYrNyVqXJ+xL/dnEQMVQ==[/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=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.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex] 是群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的子群。证明: 对任意的[tex=2.214x1.214]0WCgI4jFSd+EieBjN1GRQw==[/tex] 集合[p=align:center][tex=10.286x1.571]t+aPDzqN/g0SVlY2BoF7BzQr9jAmILOKThunRonOjFykRD5WIsUJq1mzTAa8HZrPUrIYOjVoKoOZzSOM0yprSw==[/tex]是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的子群。
- 设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]只有有限个子群，证明[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/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]中都正规 .