Normed motivic spectra and power operations

Abstract

We use motivic colimits to construct power operations on the homotopy groups of normed motivic spectra admitting a (normed) map from HF_2. We establish enough of their standard properties to prove that the motivic dual Steenrod algebra is generated by one element under ring and power operations, establishing a motivic analog of Steinberger's theorem.