Using the classification, one can identify the compact Lie groups inside finite loop spaces, giving a homotopical characterisation of compact connected Lie groups : They are exactly those finite loop spaces that admit an integral maximal torus; this was the so-called maximal torus conjecture. (See Andersen & Grodal (2009) and Grodal (2010).)