G(A, X) consists of all homotopy classes of cyclic maps from a space A to another space X. If A is an H-cogroup, then G(A, X) is a group. G(A, X) preserves products in the second variable and is a contravariant functor of A from the full subcategory of H-cogroups and maps into the category of abelian groups and homomorphisms. If X is an H-cogroup, then G(X, X) is a ring.