We consider the problem (Formula presented.) where Ω is a bounded smooth domain Ω in ℝ N and (Formula presented.), is the (k + 1)-st critical exponent. We establish existence of a prescribed number of solutions to this problem in domains of revolution, under some symmetry assumptions. For p = 2∗ we prove a global compactness result for the G-invariant Palais-Smale sequences of the variational functional associated with this problem, which relates the symmetries of the concentration points to those of the solution to the limit problem that concentrates at those points.