设群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]在集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]上的作用是可迁的, [tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的正规子群, 则[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]在[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]作用下的每个轨道有同样多的元.
举一反三
- 设[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]是有限群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的正规子群. 若素数[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=2.714x1.357]YG7qvLS9bCYW3nMIPQNAvg==[/tex]互素, 则[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]包含 [tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的所有子群.
- 试证:群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的指数为2的子群[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]一定是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的正规子群.
- 设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是群,[tex=5.286x1.071]VvvX0GFuqWNzrMDUrg0hNQ==[/tex].如果[tex=5.929x1.214]WiIhW06O4h8DrzyJYgOSG//n94M5NRQ5+HQkzzjvS5punSAJ99du6II5VrE1GjPb[/tex],[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]是否一定是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的正规子群?
- 设群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 在集合 [tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex] 上的作用是传递的. 证明: 如果 [tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex] 是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的正规子群,则[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex] 在 [tex=0.857x1.0]+NBI8Pm2vVS+bGgOpHKyOA==[/tex] 作用下的每个轨道有同样多的元素.
- 群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的非平凡子群[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]称为[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的极小子群, 如果不存在子群[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]使得[tex=4.786x1.143]Dzl5s9mAcKaJyOhW6nnalZl2sR7LSXZSzGUFcgLlF5E=[/tex]. 试证: 有理数加法群[tex=0.786x1.214]Ye1cZVdr8VtT4RAHi8JqTA==[/tex]既没有极小子群也没有极大子群.