On a theorem of Mislin. (Q2491732)

Let \(G\) be a finite group, \(p\) a prime, \(H\) a subgroup of \(G\) which contains a Sylow \(p\)-subgroup of \(G\) and \(k\) a field of characteristic \(p\). \textit{G. Mislin} proved [in Comment. Math. Helv. 65, No. 3, 454-461 (1990; Zbl 0713.55009)], using deep homotopy results, that the following two conditions are equivalent: (1) The restriction map on cohomology \(H^*(G,k)\to H^*(H,k)\) is an isomorphism; (2) For any \(p\)-subgroup \(Q\) of \(H\), \(N_G(Q)/C_G(Q)\) is isomorphic with \(N_H(Q)/C_H(Q)\). Here the author proves two variations on this result namely: Theorem 1. The following two conditions are equivalent: (1) For any non-identity \(p\)-subgroup \(Q\) of \(H\), \(N_G(Q)\) is contained in \(H\). (2) For any \(kG\)-module \(M\), the restriction map \(H^*(G,M)\to H^*(H,M)\) is an isomorphism; and Theorem 2. The restriction map of varieties \(V_H(k)\to V_G(k)\) is a bijection if, and only if, \(H\) is weakly elementary \(p\)-embedded in \(G\). In Theorem 2 it is no longer assumed that \(H\) contains a Sylow \(p\)-subgroup of \(G\) but it is assumed that \(k\) is algebraically closed. Moreover, the author gives a reduction theorem, using Theorem 2, towards a purely algebraic proof of Mislin's theorem.