О формациях, порожденных группой цокольной длины 2

Гашюц предположил, что формация, порожденная конечной группой, содержит лишь конечное число подформаций. В статье это предположение доказывается для групп цокольной длины не более 2. (Мы говорим, что группа имеет цокольную длину 1, если она совпадает со своим цоколем, и цокольную длину 2, если ее фактор-группа по цоколю имеет цокольную длину 1.) Ранее гипотеза Гашюца была доказана в нескольких частных случаях, включая разрешимые группы.