On the Homology of Elementary Abelian Groups as Modules over the Steenrod Algebra

We examine the dual of the so-called “hit problem”, the latter being the problem of determining a minimal generating set for the cohomology of products of infinite projective spaces as module over the Steenrod Algebra $\mathcal{A}$ at the prime 2. The dual problem is to determine the set of $\mathcal {A}$-annihilatedelementsinhomology\mathrm{.}Thesetof$$\mathcal{A}$$-annihilateds has been shown by David Anick to be a free associative algebra. In this note we prove that, for each $k\ge 0$, the set of {\it $k$ partially $\mathcal{A}$-annihilateds}, the set of elements that are annihilated by $S{q}^i$ for each $i\le 2^k$, itself forms a free associative algebra.