Compact Lie groups are a very special type of compact group, namely those which admit a differentiable structure. Is it possible to describe compact Lie groups in purely topological terms, that is, those there exist a topological property $X$, such that a compact group $G$ is Lie IFF it satisfies $X$? I recall hearing that $X$ can be given in terms of connectedness . . . but can't find a mention of this in the literature.