- разрешимая алгебра
- мат. decidable algebra, solvable algebra
Большой англо-русский и русско-английский словарь. 2001.
разрешимая алгебра
Смотреть что такое "разрешимая алгебра" в других словарях:
ЛИ РАЗРЕШИМАЯ АЛГЕБРА — алгебра Ли над полем К, удовлетворяющая одному из следующих эквивалентных условий: 1) члены производного ряда для равны {0} при достаточно большом k; 2).существует конечная убывающая цепочка идеалов алгебры таких, что и (т. е. алгебры Ли абелевы) … Математическая энциклопедия
ЛОКАЛЬНО РАЗРЕШИМАЯ АЛГЕБРА — алгебра, для к рой всякая ее конечно порожденная подалгебра разрешима. Л. р. а. удобно представлять себе как объединение возрастающей цепочки разрешимых подалгебр. Класс Л. р. а. замкнут относительно перехода к подалгебрам и взятия гомоморфных… … Математическая энциклопедия
ЛИ ВПОЛНЕ РАЗРЕШИМАЯ АЛГЕБРА — треугольная алгебра Ли, конечномерная алгебра Ли над полем k, для к рой собственные значения операторов присоединенного представления ad Xпринадлежат kдля всех Ли в. р. а. разрешима, класс всех Ли в. р. а. содержит класс нильпотентных алгебр Ли и … Математическая энциклопедия
ЛИ ПОЛУПРОСТАЯ АЛГЕБРА — алгебра Ли, не имеющая ненулевых разрешимых идеалов (см. Ли разрешимая алгебра). В дальнейшем рассматриваются конечномерные Ли п. а. над полем kхарактеристики 0 (о Лн п. а. над полем ненулевой характеристики см. Ли алгебра). Полупростота… … Математическая энциклопедия
разрешимая теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная… … Словарь терминов логики
ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… … Математическая энциклопедия
ЛИ АЛГЕБРА — лиева алгебра, унитарный k модуль Lнад коммутативным кольцом k с единицей, к рый снабжен билинейным отображением прямого произведения в L, обладающим следующими двумя свойствами: 1) [ х, х] = 0 (откуда вытекает антикоммутативность 2) ( х,[ у,… … Математическая энциклопедия
ЙОРДАНОВА АЛГЕБРА — алгебра, в к рой справедливы тождества 4 Такие алгебры впервые возникли в работе П. Йордана [1], посвященной аксиоматизации основ квантовой механики (см. также [2]), а затем нашли применения в алгебре, анализе и геометрии. Пусть А ассоциативная… … Математическая энциклопедия
ЛОКАЛЬНО КОНЕЧНАЯ АЛГЕБРА — алгебра, в к рой всякая подалгебра с конечным числом образующих имеет конечную размерность над основным полем. Л. к. а. удобно себе представлять как объединение возрастающей цепочки конечномерных подалгебр. Класс Л. к. а. замкнут относительно… … Математическая энциклопедия
Абстрактная алгебра — (также высшая алгебра или общая алгебра) раздел математики, изучающий алгебраические системы (также иногда называемые алгебраическими структурами), такие как группы, кольца, поля, частично упорядоченные множества, решётки, а также… … Википедия
ЛИ ВПОЛНЕ РАЗРЕШИМАЯ ГРУППА — треугольная группа Ли, связная вещественная группа Ли G, для любого элемента g к рой собственные значения оператора присоединенного представления Ad g действительны. Связная группа Ли G будет Ли в. р. г. тогда и только тогда, когда ее алгебра Ли… … Математическая энциклопедия
