用(G,H,H_0,π)表示如下构形:H,H_0都是有限群G的子群,且H_0△H和π=π(H/H_0)。对于(G,H,H_0,π),考虑如下条件:(A_0)若H-H_0的两......