Решетка (модуль)

В математике , в области теории колец , решетка — это модуль над кольцом , вложенный в векторное пространство над полем , что дает алгебраическое обобщение способа вложения решеточной группы в действительное векторное пространство.

Формальное определение

Пусть 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]

Н Вт = К Н ; Вт Н = Вт М . {\displaystyle N\mapsto W=K\cdot N;\quad W\mapsto N=W\cap M.\,}

Смотрите также

  • Решетка (группа) для случая, когда M является Z -модулем, вложенным в векторное пространство V над полем действительных чисел R , и для описания структуры решетки используется евклидова метрика

Ссылки

  1. ^ Райнер (2003) стр. 44, 108
  2. ^ Райнер (2003) стр. 45
Получено с "https://en.wikipedia.org/w/index.php?title=Решетка_(модуль)&oldid=1177032822"