1. Группа конечна тогда и только тогда, когда она имеет конечное число подгрупп.
----
Как я думаю необходимо использовать циклические группы.
Пусть в группе А существуют
- циклические подгруппы.(т.к. любая группа всегда содержит циклические подгруппы)
Циклические подгруппы имеют конечный или бесконечный порядок: каким образом это рассмотреть не знаю.
Если циклические подгруппы имеют конечный порядок, то группа А является периодической группой
А является прямой суммой р-групп(по теореме)
существует элемент g максимального порядка
<g> прямое слагаемое группы А.
Дальше надо как-то перейти к тому, что циклические группы имеют порядки равные степеням простых чисел, рассмотреть прямую сумму конечных циклических групп.
Мне кажется, что я как-то неправильно пытаюсь доказать.