Algorithm for calculation in Sylow 2-subgroups of alternating groups using the computer algebra system GAP

Abstract

У статтi наведено алгоритм перевiрки, чи є певна множина елементiв S мiнiмальною системою твiрних для силовської 2-пiдгрупи знакозмiнної групи Syl2(A2n), за допомогою системи комп’ютерної алгебри GAP. Для невеликих n (n = 3 i n = 4) проведено обчислення за допомогою цього алгоритму. Зокрема, перевiрено абелевiсть, пораховано потужнiсть та кiлькiсть елементiв мiнiмальної системи твiрних комутантiв у кожнiй з груп Syl2(A8), Syl2(A16) та фактор-групах цих силовських 2-пiдгруп по комутанту.