设[tex=2.0x1.214]IENxQEh5u4RdnCaqHm72Xg==[/tex]分别是群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的两个子群，试证[tex=2.643x1.0]lrQpQJjhcqz2IrqWzoz5oQ==[/tex]是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的子群当且仅当[tex=2.857x1.143]dn1vHZFzrDKY4vcBX/vnYQ==[/tex]或[tex=2.857x1.143]YsnD+QYv2kSLoW/sGeLXRA==[/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=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]既没有极小子群也没有极大子群.
- 证明:若群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]只有有限多个子群,则[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是有限群.
- 真子群[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]称为群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的极大子群,如果不存在[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的子群[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex],使得[tex=5.214x1.071]GXs9Ml7t4ZqYgZH/R2m5cg==[/tex].确定无限循环群的全部极大子群.
- 群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是循环群当且仅当[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的任一子群形如[tex=7.357x1.357]couhwum1HK7JEzek3cDUJDNzQ+FKGEPyYQh3/kKY2bvmmvlz8rxcaYBvsqbVY3AS[/tex],其中[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]是非负整数.