设[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一个元素。令[tex=7.071x1.357]duPa6DzdXEP/IkA8w22YsRIJpiApMOuc2tIiiX1utUBRndTamosI3MA8KgnaswoZaa+HIEQDLnt+rWDh28uFXg==[/tex]。证明[tex=1.357x1.357]UMu6yZaqu6lAbCVsfR7R0Gd4uDjR1gRFcqTenXrRKBI=[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一个子群，称为由[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]所生成的循环子群。特别地， 如果 [tex=2.929x1.357]R69oP1O5tGxNy/rzgfmU9zkgKJqJcKsevy1zqQYvMIw=[/tex]，就称[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是由[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]生成的循环群。试各举出一个无限循环群和有限循环群的例子。
举一反三
- 令[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]是群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的一个元素. 令[tex=7.071x1.357]QoAz1x4KiSexz9hRYqIrcAO3EyVt9+o/XEoEFsNwX1C0D9QDlTFQlVY53K3VFOpcfSxsaf/wU80JSeOsrnyhig==[/tex]证明[tex=2.643x0.929]GQ1cXhkwcWXiKZ1XfKp+7w==[/tex]是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的一个子群. 称为由[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]所生成的循环子群. 特别，如果[tex=2.929x1.357]R69oP1O5tGxNy/rzgfmU98XoEPpo9mDykzM0s1mhLKE=[/tex]，就称[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是由[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]生成的循环群. 试各举出一个无限循环群和有限循环群的例子.
- 设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是由6个元素构成的循环群，[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/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.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的任何真子群都是循环群，试问[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]一定是循环群吗？
- 设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex] 为群, [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中的 2 阶元,证明 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 中与[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]可交换的元素构成[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的子群.
- 设[tex=2.929x1.357]R69oP1O5tGxNy/rzgfmU98XoEPpo9mDykzM0s1mhLKE=[/tex]为 6 阶循环群. 给出[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的一切生成元和[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的所有子群.