Разрешимая группа

Группа с субнормальным рядом, где все факторы абелевы.

В математике , более конкретно в области теории групп , разрешимая группа или разрешимая группа — это группа , которая может быть построена из абелевых групп с использованием расширений . Эквивалентно, разрешимая группа — это группа, производный ряд которой заканчивается тривиальной подгруппой .

Мотивация

Исторически слово «разрешимая» возникло из теории Галуа и доказательства общей неразрешимости уравнений пятой степени . В частности, полиномиальное уравнение разрешимо в радикалах тогда и только тогда, когда соответствующая группа Галуа разрешима ^[1] (заметим, что эта теорема справедлива только в характеристике 0). Это означает, что с полиномом связана башня расширений полей. ${\displaystyle f\in F[x]}$

${\displaystyle F=F_{0}\subseteq F_{1}\subseteq F_{2}\subseteq \cdots \subseteq F_{m}=K}$

такой, что

1. ${\displaystyle F_{i}=F_{i-1}[\alpha _{i}]}$где , so – решение уравнения где ${\displaystyle \alpha _{i}^{m_{i}}\in F_{i-1}}$ ${\displaystyle \alpha _{i}}$ ${\displaystyle x^{m_{i}}-a}$ ${\displaystyle a\in F_{i-1}}$
2. ${\displaystyle F_{m}}$содержит поле разделения для ${\displaystyle f(x)}$

Пример

Например, наименьшее расширение поля Галуа, содержащее элемент ${\displaystyle \mathbb {Q} }$

${\displaystyle a={\sqrt[{5}]{{\sqrt {2}}+{\sqrt {3}}}}}$

дает разрешимую группу. Он имеет связанные расширения полей

${\displaystyle \mathbb {Q} \subseteq \mathbb {Q} ({\sqrt {2}})\subseteq \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\subseteq \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2i\pi /5}\right)\subseteq \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2i\pi /5},a\right)}$

дающая разрешимую группу расширений Галуа, содержащую следующие композиционные факторы :

• ${\displaystyle \mathrm {Aut} \left(\mathbb {Q({\sqrt {2}})} \right/\mathbb {Q} )\cong \mathbb {Z} /2}$с групповым действием и минимальным полиномом . ${\displaystyle f\left(\pm {\sqrt {2}}\right)=\mp {\sqrt {2}},\ f^{2}=1}$ ${\displaystyle x^{2}-2}$
• ${\displaystyle \mathrm {Aut} \left(\mathbb {Q({\sqrt {2}},{\sqrt {3}})} \right/\mathbb {Q({\sqrt {2}})} )\cong \mathbb {Z} /2}$с групповым действием и минимальным полиномом . ${\displaystyle g\left(\pm {\sqrt {3}}\right)=\mp {\sqrt {3}},\ g^{2}=1}$ ${\displaystyle x^{2}-3}$
• ${\displaystyle \mathrm {Aut} \left(\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2i\pi /5}\right)/\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\right)\cong \mathbb {Z} /4}$с групповым действием и минимальным многочленом, содержащим корни пятой ^{степени} из единицы, исключая . ${\displaystyle h^{n}\left(e^{2im\pi /5}\right)=e^{2(n+1)mi\pi /5},\ 0\leq n\leq 3,\ h^{4}=1}$ ${\displaystyle x^{4}+x^{3}+x^{2}+x+1=(x^{5}-1)/(x-1)}$ ${\displaystyle 1}$
• ${\displaystyle \mathrm {Aut} \left(\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2i\pi /5},a\right)/\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2i\pi /5}\right)\right)\cong \mathbb {Z} /5}$с групповым действием и минимальным полиномом . ${\displaystyle j^{l}(a)=e^{2li\pi /5}a,\ j^{5}=1}$ ${\displaystyle x^{5}-\left({\sqrt {2}}+{\sqrt {3}}\right)}$

, где тождественная перестановка. Все определяющие групповые действия изменяют одно расширение, сохраняя при этом все остальные расширения неизменными. Например, элементом этой группы является групповое действие . Общий элемент в группе можно записать как содержащий в общей сложности 80 элементов. ${\displaystyle 1}$ ${\displaystyle fgh^{3}j^{4}}$ ${\displaystyle f^{a}g^{b}h^{n}j^{l},\ 0\leq a,b\leq 1,\ 0\leq n\leq 3,\ 0\leq l\leq 4}$

Стоит отметить, что эта группа сама по себе не является абелевой . Например:

${\displaystyle hj(a)=h(e^{2i\pi /5}a)=e^{4i\pi /5}a}$

${\displaystyle jh(a)=j(a)=e^{2i\pi /5}a}$

Фактически в этой группе . Разрешимая группа изометрична , определяется с помощью полупрямого произведения и прямого произведения циклических групп . В разрешимой группе нет нормальной подгруппы. ${\displaystyle jh=hj^{3}}$ ${\displaystyle (\mathbb {C} _{5}\rtimes _{\varphi }\mathbb {C} _{4})\times (\mathbb {C} _{2}\times \mathbb {C} _{2}),\ \mathrm {where} \ \varphi _{h}(j)=hjh^{-1}=j^{2}}$ ${\displaystyle \mathbb {C} _{4}}$

Определение

Группа G называется разрешимой, если она имеет субнормальный ряд, все фактор-группы (фактор-группы) которого абелевы , т. е. если существуют подгруппы

${\displaystyle 1=G_{0}\triangleleft G_{1}\triangleleft \cdots \triangleleft G_{k}=G}$

это означает , что G _{j −1} нормальна в G _j , такая что G _j / G _{j −1} является абелевой группой для j = 1, 2, ..., k . 

Или, что то же самое, если его производный ряд , нисходящий нормальный ряд

${\displaystyle G\triangleright G^{(1)}\triangleright G^{(2)}\triangleright \cdots ,}$

где каждая подгруппа является коммутатором предыдущей, в конечном итоге достигает тривиальной подгруппы G . Эти два определения эквивалентны, поскольку для каждой группы H и каждой нормальной подгруппы N в H фактор H / N абелев тогда и только тогда, когда N включает в себя коммутант группы H. Наименьшее n такое, что G ^{( n )} = 1 , называется производной длиной разрешимой группы G.

Для конечных групп эквивалентное определение состоит в том, что разрешимая группа — это группа с композиционным рядом, все факторы которой являются циклическими группами простого порядка . Это эквивалентно, поскольку конечная группа имеет конечную композиционную длину, а каждая простая абелева группа является циклической простого порядка. Теорема Джордана –Гёльдера гарантирует, что если один композиционный ряд обладает этим свойством, то все композиционные ряды также будут обладать этим свойством. Для группы Галуа многочлена эти циклические группы соответствуют корням (радикалам) n-й степени над некоторым полем . Эквивалентность не обязательно справедлива для бесконечных групп: например, поскольку каждая нетривиальная подгруппа добавляемой группы целых чисел Z изоморфна самой Z , она не имеет композиционного ряда, но имеет нормальный ряд {0, Z } с его единственным фактор-группа, изоморфная Z , доказывает, что она действительно разрешима.

Примеры

Абелевы группы

Основным примером разрешимых групп являются абелевы группы. Они тривиально разрешимы, поскольку субнормальный ряд образуется только самой группой и тривиальной группой. Но неабелевы группы могут быть разрешимыми, а могут и не быть разрешимыми.

Нильпотентные группы

В более общем смысле все нильпотентные группы разрешимы. В частности, конечные p -группы разрешимы, поскольку все конечные p -группы нильпотентны.

Группы кватернионов

В частности, группа кватернионов является разрешимой группой, заданной расширением группы

${\displaystyle 1\to \mathbb {Z} /2\to Q\to \mathbb {Z} /2\times \mathbb {Z} /2\to 1}$

где ядро ​​— это подгруппа, созданная . ${\displaystyle \mathbb {Z} /2}$ ${\displaystyle -1}$

Расширения группы

Расширения групп образуют прототипические примеры разрешимых групп. То есть, если и — разрешимые группы, то любое расширение ${\displaystyle G}$ ${\displaystyle G'}$

${\displaystyle 1\to G\to G''\to G'\to 1}$

определяет разрешимую группу . Фактически, все разрешимые группы могут быть образованы из таких расширений групп. ${\displaystyle G''}$

Неабелева группа, которая ненильпотентна

Небольшим примером разрешимой ненильпотентной группы является симметрическая группа S ₃ . Фактически, поскольку наименьшая простая неабелева группа — это A ₅ ( альтернирующая группа степени 5), отсюда следует, что каждая группа с порядком меньше 60 разрешима.

Конечные группы нечетного порядка

Теорема Фейта –Томпсона утверждает, что каждая конечная группа нечетного порядка разрешима. В частности, из этого следует, что если конечная группа проста, то она либо является простой циклической группой, либо имеет четный порядок.

Непример

Группа S ₅ неразрешима — она имеет композиционный ряд {E, A ₅ , S ₅ } (и теорема Йордана–Гёльдера утверждает, что любой другой композиционный ряд эквивалентен этому), давая фактор-группы, изоморфные A ₅ и С ₂ ; и A ₅ не абелева. Обобщая этот аргумент в сочетании с тем фактом, что An _— нормальная, максимальная, неабелева простая подгруппа группы _Sn для n > 4, мы видим, что _Sn неразрешима для n > 4. Это ключевой шаг в доказательство того, что для любого n > 4 существуют многочлены степени n , не разрешимые в радикалах ( теорема Абеля–Руффини ). Это свойство также используется в теории сложности при доказательстве теоремы Баррингтона .

Подгруппы GL 2

Рассмотрим подгруппы

${\displaystyle B=\left\{{\begin{bmatrix}*&*\\0&*\end{bmatrix}}\right\}{\text{, }}U=\left\{{\begin{bmatrix}1&*\\0&1\end{bmatrix}}\right\}}$из ${\displaystyle GL_{2}(\mathbb {F} )}$

для какого-то поля . Затем групповое частное можно найти, взяв произвольные элементы из , умножив их вместе и вычислив, какую структуру это дает. Так ${\displaystyle \mathbb {F} }$ ${\displaystyle B/U}$ ${\displaystyle B,U}$

${\displaystyle {\begin{bmatrix}a&b\\0&c\end{bmatrix}}\cdot {\begin{bmatrix}1&d\\0&1\end{bmatrix}}={\begin{bmatrix}a&ad+b\\0&c\end{bmatrix}}}$

Обратите внимание, что детерминантное условие подразумевает , следовательно, является подгруппой (это матрицы, где ). При фиксированном из линейного уравнения следует , который является произвольным элементом в т. к. . Поскольку мы можем взять любую матрицу и умножить ее на матрицу ${\displaystyle GL_{2}}$ ${\displaystyle ac\neq 0}$ ${\displaystyle \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\subset B}$ ${\displaystyle b=0}$ ${\displaystyle a,b}$ ${\displaystyle ad+b=0}$ ${\displaystyle d=-b/a}$ ${\displaystyle \mathbb {F} }$ ${\displaystyle b\in \mathbb {F} }$ ${\displaystyle B}$

${\displaystyle {\begin{bmatrix}1&d\\0&1\end{bmatrix}}}$

с мы можем получить диагональную матрицу в . Это показывает факторгруппу . ${\displaystyle d=-b/a}$ ${\displaystyle B}$ ${\displaystyle B/U\cong \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }}$

Примечание

Обратите внимание , что это описание дает разложение aswhere на . Из этого следует . Кроме того, матрица вида ${\displaystyle B}$ ${\displaystyle \mathbb {F} \rtimes (\mathbb {F} ^{\times }\times \mathbb {F} ^{\times })}$ ${\displaystyle (a,c)}$ ${\displaystyle b}$ ${\displaystyle (a,c)(b)=ab}$ ${\displaystyle (a,c)(b+b')=(a,c)(b)+(a,c)(b')=ab+ab'}$

${\displaystyle {\begin{bmatrix}a&b\\0&c\end{bmatrix}}}$

соответствует элементу в группе. ${\displaystyle (b)\times (a,c)}$

Борелевские подгруппы

Для линейной алгебраической группы борелевская подгруппа определяется как замкнутая, связная и разрешимая в , и является максимально возможной подгруппой с этими свойствами (обратите внимание, что первые два являются топологическими свойствами). Например, в и группы верхнетреугольных или нижнетреугольных матриц являются двумя борелевскими подгруппами. В приведенном выше примере подгруппа в является борелевской подгруппой. ${\displaystyle G}$ ${\displaystyle G}$ ${\displaystyle GL_{n}}$ ${\displaystyle SL_{n}}$ ${\displaystyle B}$ ${\displaystyle GL_{2}}$

Подгруппа Бореля в GL ₃

Там есть подгруппы ${\displaystyle GL_{3}}$

${\displaystyle B=\left\{{\begin{bmatrix}*&*&*\\0&*&*\\0&0&*\end{bmatrix}}\right\},{\text{ }}U_{1}=\left\{{\begin{bmatrix}1&*&*\\0&1&*\\0&0&1\end{bmatrix}}\right\}}$

Заметим , что, следовательно, группа Бореля имеет вид ${\displaystyle B/U_{1}\cong \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }}$

${\displaystyle U\rtimes (\mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\times \mathbb {F} ^{\times })}$

Подгруппа Бореля в произведении простых линейных алгебраических групп

В группе продуктов подгруппа Бореля может быть представлена ​​матрицами вида ${\displaystyle GL_{n}\times GL_{m}}$

${\displaystyle {\begin{bmatrix}T&0\\0&S\end{bmatrix}}}$

где – верхняя треугольная матрица, – верхняя треугольная матрица. ${\displaystyle T}$ ${\displaystyle n\times n}$ ${\displaystyle S}$ ${\displaystyle m\times m}$

Z-группы

Любая конечная группа, p -силовские подгруппы которой цикличны, является полупрямым произведением двух циклических групп, в частности разрешимой. Такие группы называются Z-группами .

Ценности ОЭИС

Числа разрешимых групп порядка n (начинаются с n = 0)

0, 1, 1, 1, 2, 1, 2, 1, 5, 2, 2, 1, 5, 1, 2, 1, 14, 1, 5, 1, 5, 2, 2, 1, 15, 2, 2, 5, 4, 1, 4, 1, 51, 1, 2, 1, 14, 1, 2, 2, 14, 1, 6, 1, 4, 2, 2, 1, 52, 2, 5, 1, 5, 1, 15, 2, 13, 2, 2, 1, 12, 1, 2, 4, 267, 1, 4, 1, 5, 1, 4, 1, 50, ... ( последовательность A201733 в OEIS )

Порядки неразрешимых групп:

60, 120, 168, 180, 240, 300, 336, 360, 420, 480, 504, 540, 600, 660, 672, 720, 780, 840, 900, 960, 1008, 1020, 1080, 1140, 1176, 1200, 1260, 1320, 1344, 1380, 1440, 1500, ... (последовательность A056866 в OEIS )

Характеристики

Разрешимость замкнута относительно ряда операций.

• Если G разрешима и H — подгруппа G , то H разрешима. ^[2]
• Если G разрешима и существует гомоморфизм G на H , то H разрешима ; эквивалентно (по первой теореме об изоморфизме ), если G разрешима, а N — нормальная подгруппа в G , то G / N разрешима. ^[3]
• Предыдущие свойства можно расширить до следующего свойства «три по цене двух»: G разрешимо тогда и только тогда, когда разрешимы и N , и G / N .
• В частности, если G и H разрешимы, то и прямое произведение G × H разрешимо.

Разрешимость замкнута при расширении группы :

• Если H и G / H разрешимы, то разрешима и G ; в частности, если N и H разрешимы, разрешимо и их полупрямое произведение .

Также закрыто под венком изделие:

• Если G и H разрешимы и X является G -множеством, то сплетение G и H относительно X также разрешимо.

Для любого положительного целого числа N разрешимые группы производной длины не более N образуют подмногообразие многообразия групп, поскольку они замкнуты относительно взятия гомоморфных образов, подалгебр и (прямых) произведений . Прямое произведение последовательности разрешимых групп с неограниченной производной длиной неразрешимо, поэтому класс всех разрешимых групп не является многообразием.

Теорема Бернсайда

Теорема Бернсайда утверждает, что если G — конечная группа порядка p ^a q ^b , где p и q — простые числа , а a и b — неотрицательные целые числа , то G разрешима.

Связанные понятия

Сверхразрешимые группы

В целях усиления разрешимости группа G называется сверхразрешимой (или сверхразрешимой ), если она имеет инвариантный нормальный ряд, все факторы которого циклические. Поскольку нормальный ряд по определению имеет конечную длину, несчетные группы не являются сверхразрешимыми. Фактически, все сверхразрешимые группы конечно порождены , а абелева группа является сверхразрешимой тогда и только тогда, когда она конечно порождена. Знакопеременная группа A ₄ является примером конечной разрешимой группы, не являющейся сверхразрешимой.

Если мы ограничимся конечно порожденными группами, мы можем рассмотреть следующее расположение классов групп:

циклическая < абелева < нильпотентная < сверхразрешимая < полициклическая < разрешимая < конечно порожденная группа .

Виртуально разрешимые группы

Группа G называется виртуально разрешимой, если она имеет разрешимую подгруппу конечного индекса. Это похоже на практически абелеву . Очевидно, что все разрешимые группы виртуально разрешимы, поскольку можно просто выбрать саму группу с индексом 1.

Гипоабелев

Разрешимая группа — это группа, производный ряд которой достигает тривиальной подгруппы на конечном этапе. Для бесконечной группы конечный производный ряд может не стабилизироваться, но трансфинитный производный ряд всегда стабилизируется. Группа, трансфинитный производный ряд которой достигает тривиальной группы, называется гипоабелевой группой , а каждая разрешимая группа — гипоабелевой группой. Первый ординал α такой, что G ^{( α )} = G ^{( α +1)} , называется (трансфинитной) производной длиной группы G , и было показано, что каждый ординал является производной длиной некоторой группы (Мальцев, 1949).

p-разрешимая

Конечная группа является p-разрешимой для некоторого простого числа p, если каждый фактор композиционного ряда является p-группой или имеет порядок, простой с p. Конечная группа разрешима тогда и только тогда, когда она p-разрешима для любого p. ^[4]

Смотрите также

• Проразрешимая группа

Примечания

1. Милн. Теория поля (PDF) . п. 45.
2. Ротман (1995), Теорема 5.15 , с. 102, в Google Книгах.
3. Ротман (1995), Теорема 5.16 , с. 102, в Google Книгах.
4. "p-разрешимые группы" . Wiki реквизита группы .

Рекомендации

• Мальцев А.И. (1949), "Обобщенные нильпотентные алгебры и ассоциированные с ними группы", Матем. Сборник , Новая серия, 25 (67): 347–366, МР  0032644
• Ротман, Джозеф Дж. (1995), Введение в теорию групп , Тексты для аспирантов по математике, том. 148 (4-е изд.), Springer, ISBN 978-0-387-94285-8

Внешние ссылки

• Последовательность OEIS A056866 (Порядки неразрешимых групп)
• Разрешимые группы как итерированные расширения