The image of the Thom map for Eilenberg-MacLane spaces

Fundamental classes in cohomology of Eilenberg-MacLane spaces are defined. The image of the Thom map from cohomology to mod- cohomology is determined for arbitrary Eilenberg-MacLane spaces. This image is a polynomial subalgebra generated by infinitely many elements obtained by applying a maximum number of Milnor primitives to the fundamental class in mod- cohomology. This subalgebra in mod cohomology is invariant under the action of the Steenrod algebra, and it is annihilated by all Milnor primitives. We also show that cohomology determines Morava cohomology for Eilenberg-MacLane spaces.