On the subring of universally stable elements in a mod-2 cohomology ring (Q1201460)

\textit{L. Evens} and \textit{S. Priddy} [Q. J. Math., Oxf. II. Ser. 40, No. 160, 399-407 (1989; Zbl 0687.20047)] have considered the subring \(l(P)\) of \(H^*(P)\) of universally stable elements, i.e. \[ l(P)=\bigcap_ G\text{im} (\text{res}: H^*(G)\to H^*(P)) \] where \(G\) ranges over all groups with \(P\) as Sylow subgroup. The structure of \(l(P)\) is known only in a few special cases. Here the author exhibits \(l(P)\) if \(P\) is an extension of a cyclic group of order 2 by an elementary abelian 2-group. In this case \(l(P)\) is the subring of \(H^*(P)\) consisting of the elements that remain fixed under the subgroup of \(\text{Out} P\) generated by the \(2'\)-elements, unless \(P\) is isomorphic to the direct product of a dihedral group of order 8 and an elementary abelian 2-group. In that latter case \(l(P)\) cannot be described as subring of invariant elements under a subgroup of \(\text{Out }P\).