• 2022-06-18
    设 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 为素数. 证明: 任一 [tex=0.929x1.429]ZgVWDSbAPWk+bWlL8wncTA==[/tex]阶的群必为阿贝尔群.
  • 证明   设 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 为 [tex=0.929x1.429]ZgVWDSbAPWk+bWlL8wncTA==[/tex] 阶群, 则可证, [tex=4.714x1.357]honQXzvFB+nHvr03wxibnw==[/tex] 或 [tex=1.214x1.429]f2oKOjvUCZjqLWo/sedPmg==[/tex] 尚若 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 不是阿贝尔群, 则 [tex=5.0x1.357]g5etBeHNxUFabB8uU04rIA==[/tex] 于是商群 [tex=3.571x1.357]PkoL6zKv7SCrfRC/SB7yyA==[/tex]为[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 阶群, 因此是循环群. 从而可知, [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 为阿贝尔群, 与假设矛盾. 因此 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 必是阿贝尔群.

    内容

    • 0

      设 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]是素数, 证明每一个[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 阶群都是作环群, 且以每一个非单位元的元素作为它的生成元.  

    • 1

      证明: [tex=1.214x1.214]ScStugUriwqyCQRBKnOJJA==[/tex]([tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]是素数,[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]是正整数) 阶群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]必含有 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]阶元,而且[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]阶元的个数是[tex=1.786x1.214]8v4v/U7r11MjwmAm/dbdDQ==[/tex]的倍数.

    • 2

      设[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]是素数,证明:[tex=12.571x3.5]CAWRIK/pjEKzlWCXKfNzRp/0+gozGfQxyYDEVHVboBInraZfRJl8Gt4dg7kJKMfLawhBnMYBqU1qjuD+Qza+jLA4rFlgi/AtyhD0paNfje8FzNMQzX8IWHmOQieFa11GIZl5T3qP8Y+Ss5uxDe63KCCyy58EqHh6lxnO8deRhUXfB9/V/Us1MGj9R+hCSLev[/tex]是[tex=0.929x1.429]MVS4RlghSCHqxjLdODu8QQ==[/tex]阶非交换群。

    • 3

      设[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是有限群, [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]为素数, 如果[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的每个元素的阶都是[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]的方幂, 则称[tex=0.643x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是 [tex=1.286x1.143]vikZ5IETzFUhr/XXJaCTNw==[/tex]群. 试明: [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] -群[tex=2.643x1.357]bMRrINhuwlMbjrHDeWypomqE0sSN5MJ+eiwzTwbj5cQ=[/tex]是[tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]的一个幂. 

    • 4

       证明: [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的非正规子群的个数一定是 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 的倍数.