Угу. Cayley - скорее Кэйли.
И он умер лет за 60 до теоремы Тихонова.

>Всё-таки, пятую проблему Гильберта решили Монтгомери,
>Зиппин, Глисон и Ямабе, а не фон Нейман.

Цитирую:

Haar and von Neumann were in close contact at the
time of this work, and a paper of von Neumann on
Hilbert's Fifth Problem, "Die Einfuhrung analytischer
Parameter in topologischen Gruppen" ([29], vol. 2,
pp. 366-386) was submitted to the Annals the same day
as Haar's paper and published right next to it. In
it, von Neumann proves that every compact group which
is topologically locally Euclidean is a Lie group,
i.e., admits an analytic structure. From this and the
Peter-Weyl Theorem, it follows that every compact
group is an inverse limit of Lie groups.

Такие дела
Миша