• 2022-06-07
    设群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]中每个非幺元的阶为2,试证[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]为[tex=2.0x1.0]D410Ra7tSYZfMF6ZtYg2KA==[/tex]群。
  • 证明:设[tex=0.5x0.786]WKYr2kz69xrVCyPvbyVG1w==[/tex]为[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的幺元.于是[tex=3.143x1.071]T0RveP9X50AYgo23dfRGIYwsjLnrq/g5DcfMhKejxgU=[/tex],[tex=2.214x1.214]whgmuokczUu2q2ltrYcNmw==[/tex]。因此[tex=2.786x1.214]5sG0J1dYzrSkXffV2BB1Hw==[/tex]。于是[tex=4.0x1.214]3p9vSbuXy9b35NRjagiE2Q5HhaFTAHwDuEsVjif1rzI=[/tex],[tex=9.786x1.5]gZgUCPe5oslIGzDNsjcZzI2iNH8YKyIIoNpyk7SPipyIKK3MmGCzlzakD/AZuss8[/tex]。因此[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]为[tex=2.0x1.0]D410Ra7tSYZfMF6ZtYg2KA==[/tex]群。

    举一反三

    内容

    • 0

      设[tex=2.5x1.071]3KYhnNyNEZhbPiBrM2rcCQ==[/tex],则有限群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]中有偶数个阶为[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]的元.

    • 1

      设群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的每个元素都是有限阶元素(这样的群称为周期群),[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]为[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的子群,[tex=4.714x1.357]KgMBRWqzFg7+aCDKMSr+Pg==[/tex],又[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中任何非幺元的阶不小于[tex=0.929x0.786]FTfUoplPStit3eMYfNbP0g==[/tex],试证[tex=2.571x1.0]YyiYrIbed1bTdcaxb36/XfmDQoWJtBSkcWc6jjNXyq4=[/tex]。

    • 2

      设[tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex]是有限群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的自同构,令[tex=9.429x1.571]UHvZ2zvESKkDapN8v8oLOhiTCdj7DZqARhm61XW4KyK2H859EckJG846IuTt8RmL[/tex],试证:若[tex=4.643x2.357]DN+jsGYmpAWDFgIZCDn98/2ozYGjzL5kYg9PStSaAz8=[/tex],则[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]为[tex=2.0x1.0]D410Ra7tSYZfMF6ZtYg2KA==[/tex]群。

    • 3

      设[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]是一个素数, [tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]的方幂阶的群. 试证[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的非正规子群的个数一定是[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]的倍数.

    • 4

      证明:若群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]只有有限多个子群,则[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是有限群.