nLab
composition operation

The composition operations give the action of the homotopy groups of spheres on the homotopy groups of an arbitrary pointed space.

Let X be a pointed space then, of course, its r th-homotopy group π r(X) can be defined as the group of pointed homotopy classes of pointed maps from S r to X. In particular π k(S r) consists of classes of maps from S k to S r. If απ k(S r) and is represented by a:S kS r, and ϕπ r(X), represented by f:S rX then the composite fa:S kX so represents a class ϕαπ k(X).

This composition operation is well defined. It forms one of the primary homotopy operations. An abstraction of this is a component part of the definitional structure of a Pi-algebra.

Created on November 7, 2010 13:56:54 by Tim Porter (95.147.236.160)