1: \begin{abstract}

2: We  calculate mod-$p$ cohomology  of extended powers, and their group completions which are free infinite loop spaces.

3: %as algebras over the Steenrod algebra.  

4: We consider the cohomology of 

5: all extended powers of a space together and identify a Hopf ring structure with divided powers %added

6:  within which cup product structure is more readily

7: computable than on its own.

8: We build on our previous calculations of cohomology of symmetric groups, which are the cohomology of extended powers of a point, 

9:  the well-known calculation of homology, and new results on cohomology of symmetric groups with coefficients in the sign representation.

10:  We then use this framework to understand cohomology rings of related spaces such as infinite extended powers and free infinite loop spaces.

11: \end{abstract}

12: