Generalizations and limitations of Quillen's F-isomorphism theorem Quillen proved in 1971 ("The Spectrum of an Equivariant Cohomology Ring: I,II")  for a large class of groups $G$ including 


*

*compact Lie groups 

*groups of finite virtual cohomological dimension 

*compact topological groups with a finite number of conjugacy classes of elementary abelian $p$-subgroups


that the map 
$$\text{res}: H^\ast(BG,\mathbb{F}_p) \to \varprojlim_E H^\ast(BE,\mathbb{F}_p)$$
where $E$ runs through the elementary abelian $p$-subgroups of $G$ (ordered by inclusion and conjugacy) is an F-isomorphism (i.e. it has finite kernel and for each $x$ in the RHS, a $p$-power of $x$ is in the image). 
Question 1: Has this theorem been generalized to other classes of groups in the meantime ? 
Conversely, I'm also interested in counterexamples to the theorem, i.e. 
Question 2: What is an example of a topological group $G$ s.t. the map above is no F-isomorphism ? 
 A: This might be a rather different direction than you're interested in, but analogues of Quillen's theorem have been studied for graded cocommutative Hopf algebras.  These generalizations were originally motivated by computations in stable homotopy theory that used finite subalgebras of the Steenrod algebra.  Wilkerson ("The cohomology algebras of finite dimensional Hopf algebras") proved that an analogue of Quillen's theorem holds for all finite subalgebras of the mod 2 Steenrod algebra, but gave counterexamples for more general connected graded cocommutative Hopf algebras, including subalgebras of the mod $p$ Steenrod algebra for odd $p$.  Palmieri ("A note on the cohomology of finite dimensional Hopf algebras") gave a generalization of the theorem that holds for any finite-dimensional connected graded cocommutative Hopf algebra, but Palmieri uses a very general class of algebras in the place of elementary abelian subgroups, to the point that the theorem essentially becomes purely formal.
