Лине́йная а́лгебра — раздел алгебры, изучающий математические объекты линейной природы: векторные пространства, линейные отображения, системы линейных уравнений. Среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают из изучения линейных пространств, но как таковые относятся к полилинейной алгебре.
Ве́кторное простра́нство — математическая структура, представляющая собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трёхмерное евклидово пространство, векторы которого используются, к примеру, для представления физических сил. При этом вектор как элемент векторного пространства не обязательно должен быть задан в виде направленного отрезка. Обобщение понятия «вектор» до элемента векторного пространства любой природы не только не вызывает смешения терминов, но и позволяет уяснить или даже предвидеть ряд результатов, справедливых для пространств произвольной природы.
Кватернио́ны — система гиперкомплексных чисел, образующая векторное пространство размерностью четыре над полем вещественных чисел. Обычно обозначаются символом 
. Предложены Уильямом Гамильтоном в 1843 году.
Норма — функционал, заданный на векторном пространстве и обобщающий понятие длины вектора или абсолютного значения числа.
Ба́зис — упорядоченный набор векторов в векторном пространстве или модуле, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.
Липшицево отображение — отображение, увеличивающее расстояние между образами точек не более чем в 
раз, где называется константой Липшица данной функции. Названо в честь Рудольфа Липшица.
Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная матрица, поэтому собственные векторы и собственные значения часто определяются в контексте использования таких матриц.
Хара́ктер — мультипликативная комплекснозначная функция на группе. Иначе говоря, если 
— группа, то характер — это гомоморфизм из в мультипликативную группу поля.
Дифференциа́льный опера́тор — оператор, определённый некоторым дифференциальным выражением и действующий в пространствах функций на дифференцируемых многообразиях или в пространствах, сопряжённых к пространствам этого типа.
Редуктивная группа — алгебраическая группа , для которой унипотентный радикал её компоненты единицы 
является тривиальным. Над незамкнутым полем редуктивность алгебраической группы определяется как редуктивность её над замыканием основного поля.
Генератор группы — понятие, используемое в теории групп Ли. Генераторы группы — это элементы, образующие базис её алгебры Ли, или, в общем случае, базис алгебры Ли образа группы .
Пространство Соболева — функциональное пространство, состоящее из функций из пространства Лебега 
, имеющих обобщённые производные заданного порядка 
оттуда же.
Теорема Дирихле о единицах — теорема алгебраической теории чисел, описывающая ранг подгруппы обратимых элементов кольца алгебраических целых 
числового поля 
.
Универсальная обёртывающая алгебра — ассоциативная алгебра, которая может быть построена для любой алгебры Ли, перенимающая многие важные свойства исходной алгебры, что позволяет применить более широкие средства для изучения исходной алгебры.
Гладкое многообразие — многообразие, наделенное гладкой структурой. Гладкие многообразия являются естественной базой для построения дифференциальной геометрии. На дифференциальных многообразиях вводятся дополнительные инфинитезимальные структуры — касательное пространство, ориентация, метрика, связность и т. д., и изучаются те свойства, связанные с этими объектами, которые инвариантны относительно группы диффеоморфизмов, сохраняющих дополнительную структуру.
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
Группа Лоренца является группой Ли симметрий пространства-времени в специальной теории относительности. Эта группа может быть реализована как набор матриц, линейных преобразований или унитарных операторов на некотором гильбертовом пространстве. Группа имеет различные представления. В любой релятивистски инвариантной физической теории эти представления как-то должны быть отражены. Сама физика должна быть сделана на их основе. Более того, специальная теория относительности вместе с квантовой механикой являются двумя физическими теориями, которые тщательно проверены и объединение этих двух теорий сводится к изучению бесконечномерных унитарных представлений группы Лоренца. Это имеет как историческую важность в основном течении в теоретической физике, так и связи с более спекулятивными теориями настоящего времени.
Представление группы Ли — это линейное действие группы Ли на векторном пространстве или, что то же самое, гладкий гомоморфизм группы Ли в группу обратимых операторов на векторном пространстве. Играет важную роль в изучении непрерывной симметрии в математике и теоретической физике. Представления групп Ли изучены довольно хорошо, основным инструментом их изучения является использование соответствующих «инфинитезимальных» представлений алгебр Ли.
В математике структурные константы или структурные коэффициенты алгебры над полем используются для явного указания произведения двух базисных векторов в алгебре в качестве линейной комбинации. Учитывая структурные константы, результирующее произведение является билинейным и может быть однозначно расширено на все векторы в векторном пространстве, таким образом, однозначно определяя произведение для алгебры.
