半序集下同调的研究概况及Quillen猜想的一个重要方面

１９７８年，Ｄ，Ｑｕｉｌｌｅｎ证明了：若群Ｇ有非平凡的正规ｐ－子群，则由ｐ－子群组成的半序集是可缩的。同时，他还猜想逆定理也成立。１９９３年，Ｍ．Ａｓｃｈｂａｃｈｅｒ和Ｓ．Ｄ．Ｓｍｉｔｈ证明了若群Ｇ不包含某种酉分支的话，则Ｑｕｉｌｌｅｎ猜想的确成立，在他们的证明中，Ｑｕｉｌｌｅｎ所证明的下述定理起着很重要的作用：由基本阿贝耳Ｐ－子群组成的半序集到所有Ｐ－子群组成的半序集的包含映射导出对应下同调的同构。以Ｂｕｃｈｓｂａｕｍ条件为重要的工具，本文将重新叙述此定理的证明。