Steenrod operations on bar complex
arXiv:1108.4495
Abstract
We define a chain map of the form $\E(k)\otimes BA^{\otimes k}\longrightarrow BA$, where $\E$ is a combinatorial -operad called the sequence operad, and is the bar complex of an $\E$-algebra . We see that Steenrod-type operations derived from the chain map are equal to the corresponding operations on the cohomology of the based loop space under an isomorphism.
14pages