
А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.

Скаля́рное произведе́ние — результат операции над двумя векторами, являющийся скаляром, то есть числом, не зависящим от выбора системы координат. Используется в определении длины векторов и угла между ними.
В этой статье приведены основные термины, используемые в теории групп. Курсив обозначает внутреннюю ссылку на данный глоссарий. В конце приводится таблица основных обозначений, применяемых в теории групп.
Алгебраическая система в универсальной алгебре — непустое множество
(носитель) с заданным на нём набором операций и отношений (сигнатурой). Алгебраическая система с пустым множеством отношений называется алгеброй, а система с пустым множеством операций — моделью.

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

В теории множеств порядковым числом, или ординалом называется порядковый тип вполне упорядоченного множества. Как правило, порядковые числа отождествляются с наследственно транзитивными множествами. Ординалы представляют собой одно из расширений натуральных чисел, отличающееся как от целых, так и от кардинальных чисел. Как и другие разновидности чисел, их можно складывать, перемножать и возводить в степень. Бесконечные порядковые числа называют трансфинитными. Ординалы играют ключевую роль в доказательстве многих теорем теории множеств — в частности, благодаря связанному с ними принципу трансфинитной индукции.

Правило произведения, или тождество Лейбница, — характерное свойство дифференциальных операторов.

Тангенциальнозначные формы — это обобщение дифференциальных форм, при котором множеством значений формы является касательное расслоение к многообразию.
Кэлеровы дифференциалы представляют собой адаптацию дифференциальных форм для произвольных коммутативных колец или схем. Это понятие было введено Эрихом Келером в 1930-х.
Уравнение электромагнитной волны — дифференциальное уравнение в частных производных второго порядка, которое описывает распространение электромагнитных волн через среду или в вакуумe. Это трёхмерная форма волнового уравнения. Однородная форма уравнения, записанная в терминах либо электрического поля E, либо магнитного поля B, имеет вид:
