设[tex=2.0x1.214]h5BeVqT5Z1GL62PdxuPBZQ==[/tex]是群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的两个有限正规子群，并且[tex=5.429x1.357]f6xGg70FDtko6pOhqcJ1dQ==[/tex]证明：如果商群 [tex=2.143x1.357]ioWgLJUkMq33E11rZv2NYg==[/tex]和 [tex=2.143x1.357]S08qmQHDqj9sWIDFkqxgdg==[/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.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]是循环群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的子群, 证明: [tex=2.143x1.357]ioWgLJUkMq33E11rZv2NYg==[/tex] 也是循环群.
- 证明: 如果有限群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的每一个 Sylow 子群都是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的正规子群, 则 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是它 的 Sylow 子群的直积.
- 证明,群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的两个子群的交集也是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的子群.