В математике , в области теории колец , решетка — это модуль над кольцом , вложенный в векторное пространство над полем , что дает алгебраическое обобщение способа вложения решеточной группы в действительное векторное пространство.
Пусть R — область целостности с полем частных K. R - подмодуль M K - векторного пространства V является решеткой , если M конечно порождено над R. Она полна , если V = K · M. [ 1 ]
R -подмодуль N из M , который сам является решеткой, является R -чистой подрешеткой , если M / N не имеет R -кручения. Существует взаимно однозначное соответствие между R -чистыми подрешетками N из M и K -подпространствами W из V , заданное формулой [2]