In this paper, we prove that a map u between two polynomial rings, each with an associated Adem relation, is injective. We prove injectivity of u, by first finding formulas for elements within each ring polynomial, and then by computing the map with our associated formulas. After having computed the mapping of u, we then use our computations to show that the kernel of $u$ only contains the zero vector, which proves that the map u is injective. Then having proved that the map u is injective, we then use it to find a basis for u*, the dual map of u.
Prof. Mark Behrens, Department of Mathematics, MIT
"Relations in the Dyer-Laslof Algebra for Morava E-theory,"
Rose-Hulman Undergraduate Mathematics Journal: Vol. 13
, Article 11.
Available at: http://scholar.rose-hulman.edu/rhumj/vol13/iss2/11