设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是群,[tex=2.786x1.214]jKZpJsLsrY0OUYjZnnjH6g==[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群. 假设 [tex=3.857x1.214]K2MnCSD/WIXQpIDP0Z0E0A==[/tex]且[tex=5.643x1.357]/jThuvuppeaLrHh2su9phdKjEsnsHvdu8Zx/jme7Zbg=[/tex] (此时称[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是[tex=1.143x1.214]dR9jxhXF4eOBq39r4zKh9g==[/tex]和 [tex=1.143x1.214]1b46y//cjGpQ43dW216vJA==[/tex]的内直积), 证明: [tex=5.643x1.571]+eovogh/QTTKF8R6yAzgaFNHbw/Wrn+ydpfvzSQN6cI=[/tex].
举一反三
- 设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是群,[tex=2.786x1.214]jKZpJsLsrY0OUYjZnnjH6g==[/tex] 是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的有限子群, 假设[tex=6.786x1.357]D4gw5s8KAcbDDrJsBXNrYA2hZdjmfrJUvOTfe4nOOFsIxysd+i9XkGexdPrfQxlmXpvH+iP19GloyTwhdIPkRnvvXiiAeJl6v7f9cTjWMbQ=[/tex], 证明:[tex=7.5x1.357]Gma+AqI6Zd3NCkICIkEo4VZ5BpbTXGqN6LOiiVd8Ej+g8ccDH3LQ3xKl2IKREw6grfW0+8aYsmpRDPYY/s39PvFjLQ9QMdPyFCjBwq5dr/4=[/tex]
- 设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是其子群[tex=1.143x1.214]dR9jxhXF4eOBq39r4zKh9g==[/tex]与[tex=1.143x1.214]1b46y//cjGpQ43dW216vJA==[/tex]的直积,即[tex=5.0x1.214]qAAEPQs5KjqKSPylAS+f4K47UKWRzT/C9geotznX7dQ=[/tex]证明：[p=align:center][tex=10.857x1.571]LA9Mx/+w8QIQy5x5TOanJjaykxH0C/zsg4w3m1IWMIIbRgbIVaIPA7GMjzl+YgSzv35kU1P1LrGum9Hkz8jvGg==[/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.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]中都正规 .