Компактные топологические группы

[neo66]

Такая задача: доказать, что в компактной, бесконечной, хаусдорфовой топологической группе есть подгруппа, изоморфная окружности или $\mathbb{Z}_p$?

Может, кто подскажет литературу или в каком направлении копать?