Решётка в группе Ли, дискретная подгруппа $\mathrm{\Gamma}$ группы Ли $G$ такая, что $G / \Gamma$ имеет конечный объём относительно $G$-инвариантной меры.

Решётка размерности (или ранга) $n$ в векторном пространстве $V$ над $\mathbb{R}$ или $\mathbb{C}$ – свободная абелева подгруппа в $V$, порождённая $n$ векторами, линейно независимыми над полем $\mathbb{R}$. Подгруппа аддитивной группы конечномерного векторного пространства $V$ над $\mathbb{R}$ дискретна тогда и только тогда, когда она является решёткой (Моррис. 1980).

Решётка, структура – частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю, так и точную нижнюю грани. Отсюда вытекает существование этих граней для всякого непустого конечного подмножества.

Примеры.

1. Линейно упорядоченное множество $M$ (или цепь), где для $a, b \in M$, если $a \leqslant b$, то$$\sup \{a, b\}=b, \quad \inf \{a, b\}=a .$$2. Подпространства векторного пространства, упорядоченные по включению, где$$\begin{array}{} \sup \{A, B\}=\{x \mid x=a+b, a \in A, b \in B\}, \\ \inf \{A, B\}=A \cap A . \end{array}$$3. Подмножества данного множества, упорядоченные по включению, где$$\begin{aligned} \sup \{A, B\} & =A \cup B \\ \inf \{A, B\} & =A \cap B . \end{aligned}$$4. Неотрицательные целые числа, упорядоченные по делимости: $a \leqslant b$, если $b=a c$ для некоторого $c$, где $\sup \{a, b\}$ – наименьшее общее кратное $a$ и $b$, a $\inf \{a, b\}$ – наибольший общий делитель $a$ и $b$.

5. Действительные функции, определённые на отрезке $[0,1]$ и упорядоченные условием: $f \leqslant g$, если $(t) \leqslant g(t)$ для всех $t \in[0,1]$, где$$\sup \{f, g\}=u,$$причём$$u(t) = \max \{f(t), g(t)\},$$а$$\inf \{f, g\}=v,$$причём$$v(t)  = \min \{f(t), g(t)\} .$$Пусть $M$ – решётка. $M$ становится универсальной алгеброй с двумя бинарными операциями, если определить$$\begin{array}{cl} a+b & =\sup \{a, b\}, \\ a \cdot b & =\inf \, \{a, b\} \end{array}$$(вместо «$+$» и «$\cdot$» часто употребляются символы $\cup$ и $\cap$ или $\vee$ и $\wedge$). Эта универсальная алгебра удовлетворяет следующим тождественным соотношениям:$$\begin{array}{ll} (1) \quad a + a  =  a;& (1^\prime) \quad a \cdot a  =  a; \\ (2) \quad a + b  =  b + a;& (2^\prime) \quad a \cdot b  =  b \cdot a; \\ (3) \quad ( a + b) + c  =  a + ( b + c); & (3^\prime) \quad ( a \cdot b) \cdot c  =  a \cdot ( b \cdot c); \\ (4) \quad a \,( a + b)  =  a; & (4^\prime) \quad a + a \cdot b  =  a. \end{array}$$Наоборот, если $M$ – множество с двумя бинарными операциями, обладающими перечисленными выше свойствами $(1)$–$(4)$, $\left(1^{\prime}\right)$–$\left(4^{\prime}\right)$, то на $M$ можно задать порядок $\leqslant$, полагая $a \leqslant b$, если $a+b=b$ (при этом окажется, что $a \leqslant b$ тогда и только тогда, когда $a \cdot b=a$). Возникающее частично упорядоченное множество будет решёткой, причём$$\sup \{a, b\}=a+b, \quad \textsf { а }\quad \inf \{a, b\}=a \cdot b.$$Таким образом, решётку можно определить как универсальную алгебру, описываемую тождествами $(1)$–$(4)$, $\left(1^{\prime}\right)$–$\left(4^{\prime}\right)$, т. е. решётка образует многообразие универсальных алгебр.

Если частично упорядоченное множество рассматривать как малую категорию, то оно оказывается решёткой в том и только в том случае, когда для любых двух объектов этой категории существует их произведение и копроизведение.

Если $P$ и $P^{\prime}$ – решётки и $f$ – изоморфизм этих частично упорядоченных множеств, то $f$ является также изоморфизмом соответствующих универсальных алгебр, т. е.

$$f(x+y)=f(x)+f(y) \quad \textsf { и } \quad f(x y)=f(x) \cdot f(y)$$для любых $x, y \in P$. Однако произвольное изотонное отображение решётки $P$ в решётку $P^{\prime}$ не обязано быть гомоморфизмом этих решёток, рассматриваемых как универсальные алгебры. Так, для любого $a \in P$ отображения $f(x)=x+a$ и $g(x)=x \cdot a$ – изотонные отображения решётки $P$ в себя, являющиеся гомоморфизмами лишь в том и только в том случае, когда $P$ – дистрибутивная решётка. Впрочем, первое из этих отображений является гомоморфизмом полурешётки $Р$ с операцией «$+$», а второе – гомоморфизмом полурешётки $P$ с операцией «$\cdot$». Совокупность всех решёток образует категорию, если морфизмами считать гомоморфизмы.

Антигомоморфизм решётки $P$ в решётку $P^{\prime}$ есть такое отображение $f \colon P \rightarrow P^{\prime}$, что$$f(x+y)=f(x) \cdot f(y) \quad \textsf { и }\quad f(x \cdot y)=f(x)+f(y)$$для любых $x, y \in P$. Последовательное выполнение двух антигомоморфизмов является гомоморфизмом. Частично упорядоченное множество, антиизоморфное решётке, есть решётка.

Под координатизацией решётки понимают нахождение алгебраической системы (чаще – универсальной алгебры) такой, что данная решётка изоморфна решётке подсистем, решётке конгруэнций или какой-либо другой решётке, связанной с этой алгебраической системой или универсальной алгеброй. Произвольная решётка с $0$ и $1$ координатизируется частично упорядоченной полугруппой её резидуальных отображений в себя, оказываясь изоморфной решётке правых аннуляторов этой полугруппы. Сама полугруппа является бэровской, т. е. как правый, так и левый аннулятор каждого из её элементов порождается идемпотентом.

Наиболее важные результаты получены для решёток, подчинённых тем или иным дополнительным ограничениям (см. Алгебраическая решётка, Атомная решётка, Решётка Брауэра, Векторная решётка, Дедекиндова решётка, Дистрибутивная решётка, Мультипликативная решётка, Ортомодулярная решётка, Полная решётка, Свободная решётка, Решётка с дополнениями, Булева алгебра; по отдельным вопросам теории решётки см. Идеал, Фильтр, Пополнение сечениями). Особую роль играют алгебраические образования, являющиеся в то же время решёткой (см. Структурно упорядоченная группа). Наибольшее число приложений теории решёток связано с булевыми алгебрами. Другие классы решёток использовались в квантовой механике и физике.

Появление понятия «решётка» относится к середине 19 в. и связано с тем, что многие факты, касающиеся множества идеалов кольца и множества нормальных подгрупп группы, выглядят аналогично и могут быть доказаны в рамках теории дедекиндовых решёток. Как самостоятельное направление алгебры теория решёток сформировалась в 30-х годах 20 в.