Подпрямые произведения и формации конечных групп

С помощью конструктивного описания подпрямых произведений конечного числа групп решается задача Л. А. Шеметкова о перечислении формаций конечных групп, у которых все подформации $S_n$-замкнуты.