Бесконечные циклические группы и теорема Лагранжа

Применима ли теорема Лагранжа к бесконечным циклическим группам?

Да.
Для этого требуются кардинальные числа.