If Y is a homotopy representation of the finite group G of order n and
X is a finite G-CW complex such that, for each subgroup H of G, H(X(
H); Z(n)) = H(Y(H); Z(n)) then there exists a G-map f: X --> Y such t
hat f(H): H*(X(H); Z(n)) --> H*(Y(H); Z(n)) is an isomorphism for eac
h subgroup H.