Loops on spheres having a compact-free inner mapping group

Abstract

We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional compact loops explicitly using the theory of Fourier series.