loop space of a pointed topological space has the structure of an H-group, as equipped with the standard operations of concatenation and inversion. Furthermore, a continuous basepoint-preserving map of pointed topological spaces induces an H-homomorphism of the corresponding loop spaces; this reflects the group homomorphism on fundamental groups induced by a continuous map.

It is straightforward to verify