群[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]是非负整数.
举一反三
- 设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是一个[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]阶有限群,试证:若对[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]的每一个因子[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex],[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]中至多只有一个[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]阶子群,则[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是循环群.
- 设[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.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是包含在群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的中心内的一个子群. 证明 : 当[tex=2.143x1.357]AgjHffxzQb9fKjeZTf8lUg==[/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.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]中正规, 则[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]只能是[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]阶群, 或[tex=0.929x1.429]Oe1sITdLfgoJMrP2LLsThA==[/tex]阶群, 或[tex=1.0x1.0]I5Z2flVFjMnDwqtQo3l5FQ==[/tex]阶循环群, [tex=1.429x1.0]oXDZBpqHCK0AEtZ4kgbZLQ==[/tex]是不同的素数.