论文部分内容阅读
1978年,D,Quillen证明了:若群G有非平凡的正规p-子群,则由p-子群组成的半序集是可缩的。同时,他还猜想逆定理也成立。1993年,M.Aschbacher和S.D.Smith证明了若群G不包含某种酉分支的话,则Quillen猜想的确成立,在他们的证明中,Quillen所证明的下述定理起着很重要的作用:由基本阿贝耳P-子群组成的半序集到所有P-子群组成的半序集的包含映射导出对应下同调的同构。以Buchsbaum条件为重要的工具,本文将重新叙述此定理的证明。