１９７８年，Ｄ，Ｑｕｉｌｌｅｎ证明了：若群Ｇ有非平凡的正规ｐ－子群，则由ｐ－子群组成的半序集是可缩的。同时，他还猜想逆定理也成立。１９９３年，Ｍ．Ａｓｃｈｂａｃｈｅｒ和Ｓ．Ｄ．Ｓｍｉｔｈ证明了若群Ｇ不包含某种酉分支的话......