Dyer-Lashof operation

An -fold iterated loop space canonically carries the structure of an -algebra (an algebra over the little n-disk operad ) with -equivariant structure maps Passing to ordinary homology of the loop space with coefficients in a finite field, , the Dyer-Lashof operations are essentially the pushforward/images in homology under the binary operation or rather, this map precomposed with Now, is equivalently the configuration space of 2 points in , which in turn is equivalently the -sphere of...