Homotopy-group addition in a topological group

ID: homotopy-group-addition-in-a-topological-group

For , pointwise multiplication of based cube maps into a topological group induces the ordinary addition in its homotopy group . Concatenation and pointwise multiplication share an identity and satisfy the interchange rule, so the Eckmann-Hilton argument identifies the two operations. In particular, the -th power map induces multiplication by on every homotopy group, for all integers .

New to topics? Read the docs here!