One of the major problems in the homotopy theory of finite loop spaces is the classification problem for p-compact groups. It has been proposed to use the maximal torus normalizer (which at an odd prime essentially means the Weyl group) as the distinguishing invariant. We show here that the maximal torus normalizer does indeed classify many p-compact groups up to isomorphism when p is an odd prime.
The class of loop spaces of which the mod cohomology is Noetherian is much larger than the class of -compact groups (for which the mod cohomology is required to be finite). It contains Eilenberg–Mac Lane spaces such as and 3-connected covers of compact Lie groups. We study the cohomology of the classifying space of such an object and prove it is as small as expected, that is, comparable to that of . We also show that X differs basically from the classifying space of a -compact group...