А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Дифференциальными кольцами, полями и алгебрами называются кольца, поля и алгебры, снабжённые дифференцированием — унарной операцией, удовлетворяющей правилу произведения. Естественный пример дифференциального поля — поле рациональных функций одной комплексной переменной , операции дифференцирования соответствует дифференцирование по . Теория создана Джозефом Риттом (1950) и его учеником Эллисом Колчином.
А́лгебра Ли — объект общей алгебры, являющийся векторным пространством с определенной на ней антикоммутативной билинейной операцией, удовлетворяющей тождеству Якоби. В общем случае алгебра Ли является неассоциативной алгеброй. Названа по имени норвежского математика Софуса Ли (1842—1899).
Представле́ние гру́ппы — вообще говоря, любое действие группы. Однако чаще всего под представлением группы понимается линейное представление группы, то есть действие группы на векторном пространстве. Иными словами, представление группы — это гомоморфизм заданной группы в группу невырожденных линейных преобразований векторного пространства.
Присоединённое представление группы Ли — линейное представление группы Ли на своей алгебре Ли. Обычно обозначается .
Универсальная обёртывающая алгебра — ассоциативная алгебра, которая может быть построена для любой алгебры Ли, перенимающая многие важные свойства исходной алгебры, что позволяет применить более широкие средства для изучения исходной алгебры.
Группа Лоренца является группой Ли симметрий пространства-времени в специальной теории относительности. Эта группа может быть реализована как набор матриц, линейных преобразований или унитарных операторов на некотором гильбертовом пространстве. Группа имеет различные представления. В любой релятивистски инвариантной физической теории эти представления как-то должны быть отражены. Сама физика должна быть сделана на их основе. Более того, специальная теория относительности вместе с квантовой механикой являются двумя физическими теориями, которые тщательно проверены и объединение этих двух теорий сводится к изучению бесконечномерных унитарных представлений группы Лоренца. Это имеет как историческую важность в основном течении в теоретической физике, так и связи с более спекулятивными теориями настоящего времени.
Максимальная компактная подгруппа K топологической группы G — это компактное пространство с индуцированной топологией, максимальное среди всех подгрупп. Максимальные компактные подгруппы играют важную роль в классификации групп Ли и, особенно, в классификации полупростых групп Ли. Максимальные компактные подгруппы групп Ли в общем случае не единственны, но единственны с точностью до сопряжённости — они являются существенно сопряжёнными.
Поляриза́ция в теории представлений — максимальное вполне изотропное подпространство определённой кососимметрической билинейной формы на алгебре Ли. Понятие поляризации играет важную роль при построении неприводимых унитарных представлений некоторых классов групп Ли методом орбит, а также в гармоническом анализе на группах Ли и математической физике.
Представление группы Ли — это линейное действие группы Ли на векторном пространстве или, что то же самое, гладкий гомоморфизм группы Ли в группу обратимых операторов на векторном пространстве. Играет важную роль в изучении непрерывной симметрии в математике и теоретической физике. Представления групп Ли изучены довольно хорошо, основным инструментом их изучения является использование соответствующих «инфинитезимальных» представлений алгебр Ли.
Теорема Энгеля даёт эквивалентность двух различных определений нильпотентности для алгебр Ли. Названа в честь Фридриха Энгеля.
Теорема Ли — теорема о представлених разрешимых алгебр Ли.
В математике структурные константы или структурные коэффициенты алгебры над полем используются для явного указания произведения двух базисных векторов в алгебре в качестве линейной комбинации. Учитывая структурные константы, результирующее произведение является билинейным и может быть однозначно расширено на все векторы в векторном пространстве, таким образом, однозначно определяя произведение для алгебры.
Полупростая алгебра Ли — алгебра Ли, являющаяся прямой суммой простых алгебр Ли, то есть неабелевых алгебр Ли без нетривиальных идеалов.