В математике , а точнее в области теории групп , разрешимая группа или разрешимая группа — это группа , которая может быть построена из абелевых групп с помощью расширений . Эквивалентно, разрешимая группа — это группа, производный ряд которой заканчивается в тривиальной подгруппе .
Исторически слово «разрешимый» возникло из теории Галуа и доказательства общей неразрешимости уравнений пятой степени . В частности, полиномиальное уравнение разрешимо в радикалах тогда и только тогда, когда соответствующая группа Галуа разрешима [1] (обратите внимание, что эта теорема справедлива только в характеристике 0). Это означает, что полиному соответствует башня расширений полей
такой что
Наименьшее расширение поля Галуа, содержащее элемент
дает разрешимую группу. Соответствующие расширения поля
дать разрешимую группу расширений Галуа, содержащую следующие композиционные факторы (где — тождественная перестановка).
Каждое из определяющих групповых действий (например, ) изменяет одно расширение, сохраняя все остальные расширения фиксированными. 80 групповых действий — это набор .
Эта группа не является абелевой . Например, , в то время как , и фактически, .
Она изометрична , где , определяемая с помощью полупрямого произведения и прямого произведения циклических групп . не является нормальной подгруппой.
Группа G называется разрешимой, если она имеет субнормальный ряд , все фактор-группы (фактор-группы) которого абелевы , то есть если существуют подгруппы
это означает, что G j −1 является нормальной в G j , такой что G j / G j −1 является абелевой группой, для j = 1, 2, ..., k .
Или, что эквивалентно, если его производный ряд , то нисходящий нормальный ряд
где каждая подгруппа является коммутантом предыдущей, в конечном итоге достигает тривиальной подгруппы группы G. Эти два определения эквивалентны, поскольку для каждой группы H и каждой нормальной подгруппы N группы H фактор-группа H / N абелева тогда и только тогда, когда N включает коммутант группы H. Наименьшее n , такое что G ( n ) = 1, называется производной длиной разрешимой группы G.
Для конечных групп эквивалентное определение состоит в том, что разрешимая группа — это группа с композиционным рядом, все факторы которой являются циклическими группами простого порядка . Это эквивалентно, поскольку конечная группа имеет конечную композиционную длину, а каждая простая абелева группа является циклической простого порядка. Теорема Жордана–Гёльдера гарантирует, что если один композиционный ряд обладает этим свойством, то все композиционные ряды также будут обладать этим свойством. Для группы Галуа многочлена эти циклические группы соответствуют n-ным корням (радикалам) над некоторым полем . Эквивалентность не обязательно выполняется для бесконечных групп: например, поскольку каждая нетривиальная подгруппа группы Z целых чисел при сложении изоморфна самой Z , она не имеет композиционного ряда, но нормальный ряд {0, Z } с его единственной фактор-группой, изоморфной Z , доказывает, что он на самом деле разрешим.
Базовым примером разрешимых групп являются абелевы группы. Они тривиально разрешимы, поскольку субнормальный ряд образован только самой группой и тривиальной группой. Но неабелевы группы могут быть разрешимыми или неразрешимыми.
В более общем случае все нильпотентные группы разрешимы. В частности, конечные p -группы разрешимы, поскольку все конечные p -группы нильпотентны.
В частности, группа кватернионов является разрешимой группой, заданной расширением группы
где ядро — это подгруппа, порожденная .
Расширения групп образуют прототипические примеры разрешимых групп. То есть, если и являются разрешимыми группами, то любое расширение
определяет разрешимую группу . Фактически, все разрешимые группы могут быть образованы из таких расширений групп.
Небольшим примером разрешимой ненильпотентной группы является симметрическая группа S 3 . Фактически, поскольку наименьшая простая неабелева группа — это A 5 , ( знакопеременная группа степени 5), то отсюда следует, что любая группа с порядком меньше 60 разрешима.
Теорема Фейта–Томпсона утверждает, что каждая конечная группа нечетного порядка разрешима. В частности, это означает, что если конечная группа проста, то она либо является простой циклической, либо имеет четный порядок.
Группа S 5 неразрешима — она имеет композиционный ряд {E, A 5 , S 5 } (и теорема Жордана–Гёльдера утверждает, что любой другой композиционный ряд эквивалентен этому), что даёт фактор-группы, изоморфные A 5 и C 2 ; и A 5 не является абелевой. Обобщая этот аргумент, в сочетании с тем фактом, что A n является нормальной, максимальной, неабелевой простой подгруппой S n для n > 4, мы видим, что S n неразрешима для n > 4. Это ключевой шаг в доказательстве того, что для любого n > 4 существуют многочлены степени n , которые неразрешимы радикалами ( теорема Абеля–Руффини ). Это свойство также используется в теории сложности в доказательстве теоремы Баррингтона .
Рассмотрим подгруппы
из
для некоторого поля . Затем групповой фактор можно найти, взяв произвольные элементы в , перемножив их и выяснив, какую структуру это дает. Так что
Обратите внимание, что условие определителя на подразумевает , следовательно, является подгруппой (которые являются матрицами, где ). Для фиксированного линейное уравнение подразумевает , что является произвольным элементом в , поскольку . Поскольку мы можем взять любую матрицу в и умножить ее на матрицу
с , мы можем получить диагональную матрицу в . Это показывает факторгруппу .
Обратите внимание, что это описание дает разложение как , где действует на . Это подразумевает . Также матрица вида
соответствует элементу в группе.
Для линейной алгебраической группы подгруппа Бореля определяется как подгруппа, которая замкнута, связна и разрешима в , и является максимально возможной подгруппой с этими свойствами (обратите внимание, что первые два свойства являются топологическими). Например, в и группы верхнетреугольных или нижнетреугольных матриц являются двумя подгруппами Бореля. Приведенный выше пример, подгруппа в , является подгруппой Бореля.
Там есть подгруппы
Обратите внимание , следовательно, группа Бореля имеет вид
В группе произведений подгруппа Бореля может быть представлена матрицами вида
где — верхняя треугольная матрица, — верхняя треугольная матрица.
Любая конечная группа, p -силовские подгруппы которой цикличны, является полупрямым произведением двух циклических групп, в частности, разрешимой. Такие группы называются Z-группами .
Число разрешимых групп порядка n равно (начиная с n = 0)
Порядки неразрешимых групп
Разрешимость закрыта при выполнении ряда операций.
Разрешимость замкнута относительно расширения группы :
Он также закрыт под венком продукта:
Для любого положительного целого числа N разрешимые группы производной длины не более N образуют подмногообразие многообразия групп, поскольку они замкнуты относительно взятия гомоморфных образов, подалгебр и (прямых) произведений . Прямое произведение последовательности разрешимых групп с неограниченной производной длиной неразрешимо, поэтому класс всех разрешимых групп не является многообразием.
Теорема Бернсайда утверждает, что если G — конечная группа порядка p a q b, где p и q — простые числа , а a и b — неотрицательные целые числа , то G разрешима.
В качестве усиления разрешимости группа G называется сверхразрешимой (или сверхразрешимой ), если она имеет инвариантный нормальный ряд, все факторы которого являются циклическими. Поскольку нормальный ряд имеет конечную длину по определению, несчетные группы не являются сверхразрешимыми. Фактически, все сверхразрешимые группы являются конечно порожденными , а абелева группа является сверхразрешимой тогда и только тогда, когда она конечно порождена. Знакопеременная группа A 4 является примером конечной разрешимой группы, которая не является сверхразрешимой.
Если ограничиться конечно порожденными группами, то можно рассмотреть следующую схему расположения классов групп:
Группа G называется виртуально разрешимой, если она имеет разрешимую подгруппу конечного индекса. Это похоже на виртуально абелеву . Очевидно, что все разрешимые группы виртуально разрешимы, поскольку можно просто выбрать саму группу, которая имеет индекс 1.
Разрешимая группа — это группа, производный ряд которой достигает тривиальной подгруппы на конечном этапе. Для бесконечной группы конечный производный ряд может не стабилизироваться, но трансфинитный производный ряд всегда стабилизируется. Группа, трансфинитный производный ряд которой достигает тривиальной группы, называется гипоабелевой группой , а каждая разрешимая группа — гипоабелевой группой. Первый ординал α такой, что G ( α ) = G ( α +1) , называется (трансфинитной) производной длиной группы G , и было показано, что каждый ординал является производной длиной некоторой группы (Malcev 1949).
Конечная группа p-разрешима для некоторого простого p, если каждый фактор в композиционном ряду является p-группой или имеет порядок, простой с p. Конечная группа разрешима тогда и только тогда, когда она p-разрешима для каждого p. [4]