Не знаю, заинтересует ли Вас это.
Когда-то писал программу, которая генерирует все подгруппы по группе, заданной своею таблицею Кэли. Пользовался утверждением, что у любой группы порядка N найдётся система порождающих мощностью не более

. А сейчас всё забыл и уже даже не знаю, верно ли это утверждение
