Noetherian cohomology rings and finite loop spaces with torsion (Q796156)

The initial objective was to extend a celebrated result of Adams and Wilkerson on the mod p cohomology rings of the classifying spaces of finite loop spaces and actions of generalized Weyl groups, by eliminating certain torsion assumptions in that work. This paper is motivated by a detailed study of \({\mathbb{F}}_ 4\) at the prime 3 and a theorem of Quillen asserting the existence of an \({\mathbb{F}}\)-isomorphism \(H^*(BG;{\mathbb{F}}_ p)\to_{\leftarrow}H^*(E;{\mathbb{F}}_ p),\) where the inverse limit is taken over the category of elementary Abelian p-groups of the compact Lie group G. The main result is a general theorem of the type proved by Quillen which applies to any Noetherian mod p cohomology algebra, and an extension is made to certain equivalent cohomology groups which apply directly to \(H^*(BG;{\mathbb{F}}_ p)\) for G a compact Lie group and link more closely with Weyl groups. The question as to whether or not the mod p cohomology ring of the classifying space of any 1-connected finite loop space is Noetherian is left unresolved. - This is a substantial paper and the reader is recommended to consult it for precise information. (There is considerable overlap with the 1982 Ph.D. thesis of S. P. Lam, Cambridge U.K.)