А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Бина́рная, или двуме́стная, опера́ция — математическая операция, принимающая два аргумента и возвращающая один результат.
Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
Алгебраическая система в универсальной алгебре — непустое множество (носитель) с заданным на нём набором операций и отношений (сигнатурой). Алгебраическая система с пустым множеством отношений называется алгеброй, а система с пустым множеством операций — моделью.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Йорданова алгебра — (неассоциативная) алгебра над кольцом, в которой справедливы тождества
- (коммутативность)
-
Алгебра над полем — векторное пространство, снабжённое билинейным произведением. Это значит, что алгебра над полем является одновременно векторным пространством и кольцом, причём эти структуры согласованы. Обобщением этого понятия является алгебра над кольцом, которая, вообще говоря, является не векторным пространством, а модулем над некоторым кольцом.
А́лгебра Ли — объект общей алгебры, являющийся векторным пространством с определенной на ней антикоммутативной билинейной операцией, удовлетворяющей тождеству Якоби. В общем случае алгебра Ли является неассоциативной алгеброй. Названа по имени норвежского математика Софуса Ли (1842—1899).
Идемпоте́нтность — свойство объекта или операции при повторном применении операции к объекту давать тот же результат, что и при первом. Термин предложил американский математик Бенджамин Пирс в статьях 1870-х годов.
Альтернативная алгебра — алгебра над полем, умножение в которой является альтернативным. Каждая ассоциативная алгебра, очевидно, альтернативна, однако существуют и неассоциативные альтернативные алгебры, примером которых являются октавы. Обобщение октав, седенионы, уже не обладают свойством альтернативности.
Степенная ассоциативность — ослабленная форма ассоциативности, используемая в общей алгебре.
Магма (группоид) в общей алгебре — алгебра, состоящая из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.
Опера́ция — отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к арифметическим или логическим действиям, в отличие от термина «оператор», который чаще применяется к некоторым отображениям множества на себя, имеющим интересные для исследований свойства.
Процедура Кэ́ли — Ди́ксона — это итеративная процедура построения алгебр над полем с удвоением размерности на каждом шаге. Названа в честь Артура Кэли и Леонарда Диксона.
Единица в теории колец — двусторонний нейтральный элемент операции умножения. Кольцо, содержащее единицу, называется кольцом с единицей. Обозначается единица, как правило, цифрой «1» или иногда, латинской буквой I или E.
Тест ассоциативности — проверка бинарной операции на ассоциативность. Наивная процедура проверки, заключающаяся в переборе всех возможных троек аргументов операции, требует времени, где — размер множества, над которым определена операция. Ранние тесты ассоциативности не давали асимптотических улучшений по сравнению с наивным алгоритмом, однако позволяли улучшить время работы в некоторых частных случаях. Например, Роберт Тарьян в 1972 году обнаружил, что предложенный в 1949 году тест Лайта позволяет выполнить проверку за , если исследуемая бинарная операция обратима. Первый вероятностный тест, улучшающий время работы с до , был предложен в 1996 году Шридхаром Раджагопаланом и Леонардом Шульманом. В 2015 году был предложен квантовый алгоритм, проверяющий операцию на ассоциативность за время , что является улучшением по сравнению с поиском Гровера, работающим за .