Loops as sections in compact Lie groups

Abstract: We prove that there does not exist any connected topological proper loop homeomorphic to a quasi-simple Lie group and having a compact Lie group as the group topologically generated by its left translations. Moreover, any connected topological loop homeomorphic to the 7-sphere and having a compact Lie group as the group of its left translations is classical. We give a particular simple general construction for proper loops such that the compact group of their left translations is direct product of at least 3 factors.