Description of a class of finite groups.pdf Классификационная задача Кэли, которая заключается в том, чтобы дать полную классификацию всех групп, порядки которых равны заданному натуральному числу п, решаема по двум направлениям. Первое - это фиксирование порядка и изучение неабелевой группы, исходя или из размеров центра, или нормальности силовской подгруппы, или иных характеристик группы, абелевы же конечные группы имеют полное описание. Для решения этой задачи привлекается различные математические пакеты, которые имеют богатую библиотеку конечных групп. Например, система GAP 4.5.4 включает в себя группы порядка не более 2000, за исключением групп порядка 1024, и всего рассмотрены 423 164 062 группы. Второе направление - это рассмотрение целого класса групп порядка п с определенным каноническим разложением ее порядка. Так, например, известно, что если п - простое число, то существует единственная группа такого порядка. Классический пример описания групп порядка п = рq, где р и q - различные простые числа, реализован с помощью теорем Силова [1, с. 101]. Проблема в общем случае не имеет рационального решения, в связи с чем она на сегодняшний день претерпела некоторые изменения, например, описание группы порядка ар, где а - некоторый множитель (в общем случае не являющийся простым числом) и такой, что (а,р) = 1. Опишем группы порядка 23p с условием нормальности своей силовской р-подгруппы. Заметим, что порядок 23 первый представил всю линейку групп. С таким порядком имеют место помимо существующей для любого порядка циклическая и две абелевых нециклических групп, и две неабелевых. В связи в этим описание этих групп является традиционной задачей при изучении групп и встречается в классических сборниках задач [3, c. 239]. Рассмотрим леммы о свойстве 2-элемента конечной группы и о делимости порядка группы, с помощью которых в дальнейшем опишем вышеупомянутые группы. Лемма 1. Если х - такой 2-элемент конечной группы, что в - наименьшее с условием x е CH (a), то x ax = a . Доказательство. Так как (a) < H , то x~lax е (a), то есть существует такое r целое положительное, что x~lax = ar. Тогда x~2ax2 = x_1(x_1ax)x = x~larx = (x^ax^.^x^ax) = ar...ar = (ar)r = ar . r раз r раз тт л - 1 -k k rk ^ -2е 2е r Индукцией по k показывается, что x ax = a . Так как x ax = a = a, 2в 2в-1 - 2в-1 то r = 1(mod p). Это сравнение равносильно r Г = 1(mod p) и r - решение сравнения t. Поэтому r = ±1(mod p). Предположим, что r = 1(mod p). -2p-1 2P-1 r2e-1 Тогда x ax = a = a, что противоречит выбору x. Следовательно, -2e-1 2e-1 -1 x ax = a . Лемма доказана. Лемма 2. Если Р - циклическая группа порядка р, то NG (P) l CG (P) - циклическая и порядок r группы Ng (P) l CG (P) делит p - 1. Доказательство. Сначала докажем следующий факт: Для любой подгруппы Н группы G Ng (N)l CG (N) -- AutH. Заметим, что NG (H) можно гомоморфно вложить в AutH. Действительно, произвольный элемент а из NG (H) индуцирует некоторый автоморфизм с(а) из AutH, то есть для любых x,y е H имеем (xy)c(a) = xc(a)yc(a). Найдем ядро этого гомоморфизма: ker с = { a е NG (H)| c(a) - тождественный автоморфизм}. Покажем, что kerc = CG (H). Действительно, для любого а е ker с и любого x е Н имеем, что xc(a) = xa = x, то есть aeCG (H). Значит, ker с = CG(H). Следовательно, по теореме о гомоморфизмах, NG (P)l CG (P) - AutH. Пусть теперь Р - циклическая группа порядка р. Тогда по только что доказанному Ng (P)l CG (P) - циклическая и изоморфно вкладывается в Aut Р, где AutP -- Zp-1. Это значит, что NG (P)l CG (P) можно считать подгруппой группы Zp-1 порядка р-1. Значит, порядок NG (P)l CG (P) делит р-1. Лемма доказана. Теорема. Пусть Н - неабелева группа порядка 23 p, силовская р-подгруппа Р группы Н - нормальна в Н. Тогда Н изоморфна одной из следующих групп: 1. H = X (Ь), o(a) = p, o(b) = 8, b~lab = ar, ri ^ 1(mod p), где 1 < i < 8, p = 1(mod 8). 2. H = X (b), o(a) = p, o(b) = 8,b_1ab = ar, ri ^ 1(modp), где 1 < i < 4, ab4 = b4a, p = 1(mod4). 3. H = ((a)x(c})^^, o(a) = p, o(b) = 4, o(c) = 2, bc = cb, b~iabi = ari, ri = 1(mod p), где 1 < i < 4, p = 1(mod4). 4. H = ((a)x(c))\{b),o(a) = p,o(b) = 4,o(c) = 2,b~lab = a"1,ab2 = b2a,bc = cb . 5. H = ((a)x(c))^^,o(a) = p,o(b) = 4,o(c) = 2,c_1ac = a"1,bc = cb . 6. H = ((a)x(b)^^,o(a) = p,o(b) = o(c) = o(d) = 2, d~lad = a-1, bd = db, cd = dc. 7. H = ((a) x(c)) ^^, o(a) = p, o(b) = 4, b_1ab = a-1, ab2 = b2a, c_1bc = b. Доказательство. Конструирование группы основывается на лемме Фраттини: пусть К - нормальная подгруппа группы Н и P е Sylp (H), тогда H = NH (P)K [1, с. 115].Обозначим через а образующий элемент подгруппы P: P = ^a). Рассмотрим всевозможные случаи: Случай 1. S = b - циклическая группа. Тогда H = (a) Х(Ъ). Случай 1.1. |CH(a)| = p. Покажем, что в этом случае p = 1(mod8) и если Ъ~lab = ar, то r' Ф 1(mod p), при никаких i, что 1 < i < 8 , а r8 = 1(mod p). Допустим, для некоторого i, такого, что 1 < i < 8 , имеем r1 = 1(mod p). Это означает, что = ar = a и Ъ1 е CH (a), причём Ъ1 Ф e. Это противоречит тому, что |CH (a) = p. Далее, laHl = 8, причём aH = {a,ar,ar ,...,ar }. Действительно, если предположить, что для некоторых i Ф j, ar = ar , то это будет означать, что r1 = r1 (mod p), что равносильно (r1 (r1 _1 -1)) = 0(mod p), причём можно считать, что i > j. Это невозможно, так как r Ф 0 и r1 _1 ^ 1(mod p). Аналогично показы- „ k , k \H k kr kr 2 kr7 вается, что для любой степени a , (a ) = {a , a ,a ,..., a }. Следовательно, (a) = {e}u{a,ar,ar ,...,ar }u{ak,a^,akr ,...,akr }u.... Это означает, что |(a)| = p = 1 + 8l, где l - число неединичных сопряжённых классов. Таким образом, H = (a,Ъ | ap = Ъ8 = e,Ъ^Ъ = ar,r1 ^ 1(modp),1 < i < 8, p = 1(mod8^. Случай 1.2. |CH (a) = 2p . Покажем, что в этом случае p = 1(mod4) и из Ъ~laЪ = ar вытекает, что 4 -наименьшее i, такое, что r1 = 1(mod 4). Действительно, аналогично предыдущему случаю, если i < 4 иг' = 1(mod4), то Ъ^^Ъ1 = a и Ъ1 е CH (a). Это означает, что или Ъ, или Ъ2 е CH (a). Тогда 4 делит |CH (a) , что противоречит условию. 2 3 Как и в предыдущем случае, доказывается, что (a) = {e}u{a,ar,ar ,ar }u... ... u {ak,akr,akr ,akr }u... и |(a)| = p = 1 + 4t, где t - число классов сопряжённых неединичных элементов группы. Таким образом, H =(a, Ъ | ap = Ъ8 = e,Ъ~laЪ = ar,ЪaЪ4 = a, г' ^ 1(mod p),1 < i < 4, p = 1(mod4^. Случай 1.3. |CH (a) = 4 p. Аналогично доказывается, что H = (a,Ъ | ap = Ъ8 = e,Ъ~laЪ = ar,Ъ-2aЪ2 = Так как Н- неабелева, то случай |CH (a) = 8p невозможен. Случай 2. S = {Ъ) х(с), где о(Ъ) = 4, o(c) = 2 . Тогда H = (a) X ((Ъ) х(с)). Для любого 5 е S, такого, что o(s) = 2 , имеем s^as = a-1. Поэтому (Ъ 2с)-1 a^c) = c_1(Ъ_2aЪ 2)с = c^a^c = a и Ъ 2с е CH (a), причём о(Ъ 2с) = 2. Поэтому либо |CH (a) = 2p , либо |CH (a) = 4p . Случай 2.1. |CH (a) = 2 p. Тогда Ъ g CH (a). Допустим, Ъ2 е CH (a). Так как _2 2 _1 _1 _1 о _12 22 Ъ aЪ = a и с ac = a , то (Ъ с) a (Ъ с) = a и e, Ъ , Ъс - элементы из S, входят в CH (a). Но e, b2, b2c - элементы подгруппы четвёртого порядка группы S: (b2^ x(c}. Поэтому ^bx(c) < CH (a), что невозможно по условию. Это означает, что b ° CH (a) = (e), и поэтому CH (a) = (a) x(Таким образом, H = ((a) x(c)) X b , где bc = cb, b^ab1 = ar , при всех i = 1,2,3 и p = 1(mod4). Это вытекает аналогично случаю 1.2. Случай 2.2. |CH (a) = 4p . Случай 2.2.1. Допустим b g CH (a), но b2 е CH (a). Тогда (b2) x(c) < CH (a) и H = ((a) x(c)) X (b),b~lab = a"1, ab2 = b2a и bc = cb . Случай 2.2.2. Пусть b е CH (a). Тогда (b) < CH (a) и H = ((a) x b) ^(c), c_1ac = a"1,bc = cb . Как и в предыдущем случае, |CH (a) = 8p невозможно. Случай 3. S = bx(c)x(d), где o(b) = o(c) = o(d) = 2 . Случай 3.1. |CH (a) = p. Так как b~lab = a"1,c~lac = a-1, то (bc)-1 a(bc) = c_1(b_1ab)c = c_1a_1c = a и bc е CH (a) - невозможно. Случай 3.2. |CH (a) = 2p . Можем считать, что b < CH (a). Тогда c, d g CH (a) и, как и в случае 3.1, (cd)-1 a(cd) = d~l(c~lac)d = d~la~ld = a , то есть cd е CH (a) и b x (cd} < CH (a), то есть 4 делит |CH (a) - противоречие. Случай 3.3. |CH (a) = 4 p . Можем считать, что b x( c) < CH (a). Тогда, очевидно, H = (( a) x (b) x{ c)) \{ d), d ~lad = a , bd = db, cd = dc. Случай 4. S = b -M c) - неабелева группа. Тогда H = (a) x S или H = (a) X S. Первая возможность однозначна. Рассмотрим вторую возможность: H = (a) X S. Как мы выше заметили (в случае 2), (b2c)-1 a(b 2c) = a , поэтому либо |CH(a) = 2p , либо |CH(a) = 4p. Случай 4.1. |CH (a) = 2p . В этом случае, дословными рассуждениями, как и в случае 2.1, приходим к тому, что b ° CH (a) = (в) и CH (a) = (a) x(c}. Тогда H = ((a) x (c)) X b , причем c~lbc = b-, b1 ab1 = ar , на i и р налагаются такие же условия, как и в случае 2.1. Случай 4.2. |CH (a) = 4p . Здесь возможны два случая: Случай 4.2.1. Допустим, b g CH (a), но b2 е CH (a). Тогда (b2 ^ x (c) < CH (a) и H = ((a)x(c)) X(b),b~lab = a_1,ab2 = b2a и b~lcb = c . Случай 4.2.2. Пусть b е CH (a). Тогда b < CH (a) и H = ((a) x(b}) ^b, c_1ac = a-1, c~lbc = . Случай, когда |CH (a) = 8p , уже отмечен. Случай 5. S = Q8 - группа кватернионов. Q8 = (ь,с | Ъ4 = с4 = e, Ъ2 = с2, с~1Ъс = Ъ"^ . Пусть Ъ~laЪ = ar и c_1ac = at для некоторых целых положительных r и t. Они являются решениями сравнений r2 = 1(mod p) и t2 = 1(mod p), так как Ъ~2aЪ = ar и c~2ac = at . Значит r = t(mod p). Тогда at = ar, что равносильно, в этом случае либо |CH (a) = 2p , либо |CH (a) = 4p . Покажем, что в |CH (a) существует подгруппа порядка H. Если это не так, то Ъ~laЪ = c~lac = и снова получаем, что Ъс_ еCH(a). Но (Ъс-1)(Ъс-1) = = Ъ(с_1Ъс)с~2 = ЪЪ_1Ъ2 = Ъ2 и о(Ъс-1) = 4. Это означает, что в CH (a) существует подгруппа порядка 4. Можно считать, что ЪеCH (a) и тогда H = ((a)х(Ъ))X(с), где с^Ъс=b~1,c~1ac = ar,r' ^ 1(modp) при i = 1,2,3 p = 1(mod4). Теорема доказана.

Скачать электронную версию публикации