关于有限群的正规补子群

用(G,H,H_0,π)表示如下构形:H,H_0都是有限群G的子群,且H_0△H和π=π(H/H_0)。对于(G,H,H_0,π),考虑如下条件:(A_0)若H-H_0的两个元π-元h_1,h_2,在G中共轭,则h_1H_0,h_2H_0在H/H_0中共轭。(B_1)设π-元h∈H-H_0,p∈π,如果,则。(B_2)设π-元h∈H-H_0,则(C_G(h):C_H(n))是π′-数,且C_G(h)中恰有|C_G(h)|_(π′)个π′-元,C_H(h)中恰有|C_H(h)|_(π′)个π′-元。(D)若p∈π,则H_0中任一p-元不能与H-H_0中元共轭。(E)((G∶H),(H∶H_0))=1。我们证明若(G,H,H_0,π)满足条件(A_0),(B_1),(D)和(E)或(B_2),(C),(D)和(E),则G有唯一的H_0上H的正规补子群。