设K是群G的一个有限正规子群,P是K的一个SylowP一子群.证明:G=N(P)K.
设K是群G的一个有限正规子群,P是K的一个SylowP一子群.证明:G=N(P)K.
任取x∈G则由于P≤K≤及K.N(P)=N(P)K因此
G=N(P)K.
任取x∈G,则由于P≤K≤G,故xPx-1≤xKx-1=K(∈G).但P是有限群K的一个SylowP一子群,故xPx-1也是K的一个SylowP一子群.于是,由Sylow定理知,P与xPx-1在K中共轭.即有k∈K使xPx-1=kPk-1.(k-1x)P=P(k-1x),于是k-1x∈N(P),从而x∈K.N(P),K.N(P),G=K.N(P).又由于及K.N(P)=N(P)K,因此G=N(P)K.