证明: 有限群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 有唯一的 Sylow [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 子群 [tex=0.929x1.0]valnMSlSgJr2OU03k/LmqQ==[/tex] 的充分必要条件是 [tex=0.929x1.0]valnMSlSgJr2OU03k/LmqQ==[/tex] 是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群.
证明: 有限群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 有唯一的 Sylow [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 子群 [tex=0.929x1.0]valnMSlSgJr2OU03k/LmqQ==[/tex] 的充分必要条件是 [tex=0.929x1.0]valnMSlSgJr2OU03k/LmqQ==[/tex] 是 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的正规子群.
1