Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
Теория Галуа — раздел алгебры, изучающий симметрии корней многочленов. Симметрии описываются в терминах группы перестановок корней многочлена (группа уравнения) термин, впервые использованный Эваристом Галуа. Содержание 1 Приложение к классическим задачам … Википедия
РАЗРЕШИМАЯ ГРУППА — группа, обладающая конечным субнормальным рядом с абелевыми факторами (см. Подгрупп ряд). Она также обладает нормальным рядом с абелевыми факторами (такие ряды наз. р а зр е ш и м ы м и). Длина кратчайшего разрешимого ряда группы наз. ее д л и н… … Математическая энциклопедия
Разрешимая группа — В алгебре группа называется разрешимой, если в ней существует цепочка вложенных коммутантов, последний из которых состоит из нейтрального элемента. Цепочка коммутантов определяется так: это сама группа а , то есть это коммутант предыдущего … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… … Математическая энциклопедия
ЛИ РАЗРЕШИМАЯ АЛГЕБРА — алгебра Ли над полем К, удовлетворяющая одному из следующих эквивалентных условий: 1) члены производного ряда для равны {0} при достаточно большом k; 2).существует конечная убывающая цепочка идеалов алгебры таких, что и (т. е. алгебры Ли абелевы) … Математическая энциклопедия
ГАЛУА ТЕОРИЯ — в наиболее общем смысле теория, изучающая те или иные математич. объекты на основе их групп автоморфизмов. Так, напр., возможны Г. т. полей, колец, топологич. пространств и т. п. В более узком смысле под Г. т. понимается Г. т. полей. Возникла эта … Математическая энциклопедия
ЛОКАЛЬНО РАЗРЕШИМАЯ ГРУППА — группа, в к рой каждая конечно порожденная подгруппа разрешима (см. Разрешимая группа). Класс Л. р. г. замкнут относительно взятия подгрупп и гомоморфных образов, но не замкнут относительно расширений. Периодическая Л. р. г. локально конечна. Лит … Математическая энциклопедия
ОБОБЩЕННО РАЗРЕШИМАЯ ГРУППА — группа одного из обобщенно разрешимых классов групп. Класс групп наз. обобщенно разрешимым, если он содержит все разрешимые группы и пересекается с классом конечных групп по классу всех конечных разрешимых групп. Рассматривалось довольно много… … Математическая энциклопедия