Линейно независимая система векторов, порождающая решётку, называется её базисом. Два набора векторов порождают одну и ту же -мерную решётку тогда и только тогда, когда матрицы и , составленные из вектор-столбцов координат векторов этих наборов, связаны домножением справа на унимодулярную матрицу: , . Поэтому можно сопоставить решётки максимального ранга в -мерном пространстве классам смежности[1].
Унимодулярной, если её фундаментальный параллелепипед имеет объём 1.
Примитивным называется ненулевой вектор решётки, не коллинеарный никакому более короткому ненулевому вектору этой решётки.
Примитивный вектор решётки, относительно отражения вдоль которого решётка инвариантна, называется корнем решётки. Множество корней решётки образуют систему корней. Каждая решётка, порождённая своими корнями, подобна решётке, порождённой векторами с нормами 1 или 2. Такая решётка называется решёткой корней[2].
Двойственной решёткой к решётке называется решётка, которая обозначается или и определяется как
Решётка называется самодвойственной, если она совпадает с двойственной к себе.
Подрешётка — подгруппа решётки.
Можно определить объект, аналогичный решётке, в аффинном пространстве — аффинную решётку; это орбита точки аффинного пространства под действием сдвигов на векторы решётки.
В физике решётки в трёхмерном пространстве, классифицированные по их симметриям, называются решётками Браве, двойственная решётка — обратная решётка, фундаментальный параллелепипед — (примитивная) элементарная ячейка.
Решётки, как и другие геометрические объекты, нередко рассматривают с точностью до движений (изометрий в себя) объемлющего евклидова пространства — поворотов вокруг начала координат и отражений относительно проходящих через него плоскостей. Такое преобразование действует на матрицу, составленную из координат базиса решётки, как домножение слева на ортогональную матрицу. Поэтому классы изометрий решёток — классы эквивалентности решёток относительно изометрий — можно сопоставить двусторонним классам смежности группы обратимых матриц: [3].
Также в некоторых задачах решётки рассматривают с точностью до подобия; на матрицу такие преобразования действуют как домножение на элементы (множества ненулевых действительных чисел). Классы подобия решёток соответствуют классам смежности [3].
Близкое, «теоретико-числовое» определение решётки — абстрактная свободная абелева группа конечного ранга (то есть изоморфная ) с положительно определённой симметричной билинейной формой на ней; вместо билинейной формы можно задать квадратичную. Чтобы это определение было равносильно приведённому выше, «геометрическому» определению решёток (точнее, их классов изометрий), нужно рассматривать квадратичные формы с точностью до определённого отношения эквивалентности.
Если заданы решётка и её базис, то матрица соответствующей квадратичной формы — матрица Грама этого базиса. Положительно определённая квадратичная форма как функционал на может быть задана как , (тогда матрица квадратичной формы равна ), и она не меняется, если вектор подвергнуть ортогональному преобразованию, поэтому положительно определённые квадратичные формы находятся во взаимно однозначном соответствии с классами смежности . Если считать эквивалентными формы, матрицы которых и связаны через унимодулярную матрицу как , то классы эквивалентности квадратичных форм оказываются во взаимно однозначном соответствии с классами смежности — и таким образом и с классами изометрии решёток[3].
В двумерном случае можно отождествить объемлющее евклидово пространство с комплексной плоскостью, а векторы решётки — с комплексными числами. Если положительно ориентированный базис решётки представлен парой комплексных чисел , то преобразованием подобия можно перейти к решётке с базисом , после чего смена базиса в решётке с сохранением ориентации будет соответствовать дробно-линейному преобразованию верхней полуплоскости — элементу модулярной группы.
Решётка максимального ранга в имеет фундаментальную область конечного объёма. В теории групп Ли и некоторых других областях решёткой в группе называют дискретную подгруппу, объём факторпространства группы по которой конечен, что обобщает это свойство.
↑Reiner, I. Maximal Orders (англ.). — Oxford University Press, 2003. — Vol. 28. — P. 44. — (London Mathematical Society Monographs. New Series). — ISBN 0-19-852673-3.