OpenAI reports the rational-homology form of Quillen’s conjecture
- Mathematics
For every finite group G and prime p with trivial largest normal p-subgroup, the poset of nontrivial elementary abelian p-subgroups of G has nonzero augmented reduced rational homology.