Published online by Cambridge University Press: 20 November 2018
Let A be an H-space and K a space. It is well known that [K, A] is a loop. Suppose A has a comultiplication as well, that is, cat A < 2. Then we shall prove that [K, A] is a Moufang loop. This generalises a result of C. W. Norman who proved this for the case where A is the circle, the 3-sphere or the 7-sphere. It also improves the known result that [K, A] is a diassociative loop if A has a comultiplication as well, since Moufang loops are diassociative.
This research was supported by NRC Grant A-3026.