If Y is a finitely generated
homotopy associative H-space and X is finite CW then [X,Y ] is a nilpotent group.
Using this it is easy to show that for any set of prime integers P, a localization map
I: Y → YP induces l∗[X,Y ] → [X,YP] with the order of 1∗−1(α) prime
to P. (e.g. see [2]) Since there is no theory of the localization of algebraic
loops the same technique does not apply if Y is not homotopy associative.
The purpose of this paper is to show that the above theorem holds in this
situation.