РАЗРЕШИМАЯ ГРУППА

РАЗРЕШИМАЯ ГРУППА

- группа, обладающая конечным субнормальным рядом с абелевыми факторами (см. Подгрупп ряд). Она также обладает нормальным рядом с абелевыми факторами (такие ряды наз. р а зр е ш и м ы м и). Длина кратчайшего разрешимого ряда группы наз. ее д л и н о й, или с т у п е н ь ю р а з р е ш и м о с т и. Важнейшим из таких рядов является ряд коммутантов, или производный ряд (см. Коммутант группы). Термин "Р. г." возник в теории Галуа и связан с разрешимостью алгебраич. уравнений в радикалах.

Конечные Р. г. обладают субнормальным рядом с факторами простых порядков. Эти группы характеризуются справедливостью следующего обращения теоремы Лагранжа; для любого разложения п=п1 п 2 порядка nгруппы на два взаимно простых сомножителя существует подгруппа порядка п 1, и все подгруппы порядка n1 сопряжены между собой. Если порядок конечной группы делится только на два простых числа, то такая группа разрешима. В классе Р. г. конечные группы выделяются как конечно порожденные периодич. группы.

Частными случаями Р. г. являются нильпотентные группы, полициклические группы, метабелевы группы. Важный подкласс образуют конечно порожденные группы, являющиеся расширениями своей абелевой нормальной подгруппы с помощью полициклич. факторгруппы. Они удовлетворяют условию максимальности для нормальных подгрупп (см. Обрыва цепей условии).и финитно аппроксимируемы (см. Финитно аппроксимируемая группа). Всякая связная разрешимая группа Ли, а также Р. г. матриц, связная в Зариского топологии, имеют нильпотентный коммутант. Всякая матричная Р. г. над алгебраически замкнутым полем имеет подгруппу конечного индекса, сопряженную с подгруппой треугольной группы (см. Ли - Колчина теорема).

Все Р. г. длины, не превосходящей числа l, образуют многообразие (см. Групп многообразие). Свободные группы таких многообразий наз. с в о б о д н ы м и р а з р е ш и м ы м и г р у п п а м и.

Лит.:[1] К у р о ш А. Г., Теория групп, 3 изд., М., 1967; [2] К а р г а п о л о в М. И., М е р з л я к о в Ю. И., Основы теории групп, 2 изд., М., 1977. А. Л. Шмелъкин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "РАЗРЕШИМАЯ ГРУППА" в других словарях:

  • Разрешимая группа — В алгебре группа называется разрешимой, если в ней существует цепочка вложенных коммутантов, последний из которых состоит из нейтрального элемента. Цепочка коммутантов определяется так:   это сама группа а , то есть это коммутант предыдущего …   Википедия

  • ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… …   Математическая энциклопедия

  • ЛОКАЛЬНО РАЗРЕШИМАЯ ГРУППА — группа, в к рой каждая конечно порожденная подгруппа разрешима (см. Разрешимая группа). Класс Л. р. г. замкнут относительно взятия подгрупп и гомоморфных образов, но не замкнут относительно расширений. Периодическая Л. р. г. локально конечна. Лит …   Математическая энциклопедия

  • ОБОБЩЕННО РАЗРЕШИМАЯ ГРУППА — группа одного из обобщенно разрешимых классов групп. Класс групп наз. обобщенно разрешимым, если он содержит все разрешимые группы и пересекается с классом конечных групп по классу всех конечных разрешимых групп. Рассматривалось довольно много… …   Математическая энциклопедия

  • ЛИ ВПОЛНЕ РАЗРЕШИМАЯ ГРУППА — треугольная группа Ли, связная вещественная группа Ли G, для любого элемента g к рой собственные значения оператора присоединенного представления Ad g действительны. Связная группа Ли G будет Ли в. р. г. тогда и только тогда, когда ее алгебра Ли… …   Математическая энциклопедия

  • p-РАЗРЕШИМАЯ ГРУППА — обобщение понятия разрешимой группы. Пусть p нек рое множество простых чисел. Конечная группа, каждый индекс композиционного ряда к рой либо не делится ни на одно число из p, либо совпадает с нек рым числом из p, наз. p р а з р е ш и м о й г р у… …   Математическая энциклопедия

  • ГРУППА — один из основных типов алгебраических систем. Теория Г. изучает в самой общей форме свойства алгебраич. операций, наиболее часто встречающихся в математике и ее приложениях (примеры таких операций умножение чисел, сложение векторов,… …   Математическая энциклопедия

  • ГРУППА — множество, на к ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло… …   Физическая энциклопедия

  • ГРУППА ВЕЗ КРУЧЕНИЯ — группа, не имеющая элементов конечного порядка. Свободная, свободная разрешимая, свободная нильпотентная и свободная абе лева группы суть Г. б. к. Прямое, полное прямое и свободное произведения Г. б. к. суть Г. б. к. Факторгруппа Г. б. к. Gпо ее… …   Математическая энциклопедия

  • ЛИ ГРУППА — группа G, обладающая такой структурой аналитического многообразия, что отображение прямого произведения в Gана литично. Другими словами, Ли г. это множество, наделенное согласованными структурами группы и аналитич. многообразия. Ли г. наз.… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»