Длина модуля

редактировать

В абстрактной алгебре, длина модуля является обобщением измерения векторного пространства , которое измеряет его размер. В частности, как и в случае векторных пространств, единственными модулями конечной длины являются конечные модули. Он определяется как длина самой длинной цепочки подмодулей. Модули конечной длины разделяют многие важные свойства с конечномерными векторными пространствами.

Другие концепции, используемые для «подсчета» в теории колец и модулей: глубина и высота ; и то и другое требует более тонкого определения. Более того, их использование больше соответствует теории размерности, тогда как длина используется для анализа конечных модулей. Есть также различные полезные идеи для измерения измерения. Коммутативные кольца конечной длины играют важную роль в функториальных трактовках формальной алгебраической геометрии и теории деформаций, где кольца Артина широко используются.

Содержание

  • 1 Определение
    • 1.1 Длина модуля
    • 1.2 Длина кольца
  • 2 Свойства
    • 2.1 Конечная длина и конечные модули
    • 2.2 Связь с артиновыми и нётеровыми модулями
    • 2.3 Поведение относительно коротких точных последовательностей
    • 2.4 Теорема Джордана – Гёльдера
  • 3 Примеры
    • 3.1 Конечномерные векторные пространства
    • 3.2 Артиновые модули
      • 3.2.1 Нулевой модуль
      • 3.2. 2 Простые модули
      • 3.2.3 Артиновы модули над Z
  • 4 Использование в теории множественности
    • 4.1 Порядок обращения в нуль нулей и полюсов
      • 4.1.1 Пример на проективном многообразии
      • 4.1.2 Ноль и полюса аналитической функции
  • 5 См. также
  • 6 Ссылки
  • 7 Внешние ссылки

Определение

Длина модуля

Пусть M {\ displaystyle M}M быть (левым или правым) модулем над некоторым кольцом R {\ displaystyle R}R . Дана цепочка подмодулей M {\ displaystyle M}M формы

M 0 ⊊ M 1 ⊊ ⋯ ⊊ M n = M {\ displaystyle M_ {0} \ subsetneq M_ { 1} \ subsetneq \ cdots \ subsetneq M_ {n} = M}{\ displaystyle M_ {0} \ subsetneq M_ {1} \ subsetneq \ cdots \ subsetneq M_ {n} = M}

мы говорим, что n {\ displaystyle n}n - это длина цепочки. Длина ofM {\ displaystyle M}M определяется как наибольшая длина любой из его цепочек. Если такой максимальной длины не существует, мы говорим, что M {\ displaystyle M}M имеет бесконечную длину .

Длина кольца

Кольцо R Говорят, что {\ displaystyle R}R имеет конечную длину как кольцо, если оно имеет конечную длину в качестве левого модуля R {\ displaystyle R}R .

Свойства

Конечная длина и конечные модули

Если R {\ displaystyle R}R -module M {\ displaystyle M}M имеет конечную длину, тогда это конечно сгенерированный. Если R - поле, то верно и обратное.

Связь с артинианскими и нётерскими модулями

R {\ displaystyle R}R -модуль M {\ displaystyle M}M имеет конечную длину тогда и только тогда, когда он является одновременно нётеровым модулем и артиновым модулем (см. теорему Хопкинса ). Поскольку все артиновы кольца нётеровы, отсюда следует, что кольцо имеет конечную длину тогда и только тогда, когда оно артиново.

Поведение относительно коротких точных последовательностей

Предположим,

0 → L → M → N → 0 {\ displaystyle 0 \ rightarrow L \ rightarrow M \ rightarrow N \ rightarrow 0}0 \ rightarrow L \ rightarrow M \ rightarrow N \ rightarrow 0

- это короткая точная последовательность из R {\ displaystyle R}R -модулей. Тогда M имеет конечную длину тогда и только тогда, когда L и N имеют конечную длину, и у нас есть

длина R (M) = длина R (L) + длина R (N) {\ displaystyle {\ text {length}} _ {R} (M) = {\ text {length}} _ {R} (L) + {\ text {length}} _ {R} (N)}{\ displaystyle {\ text {length}} _ {R} (M) = {\ text {length }} _ {R} (L) + {\ text {length}} _ {R} (N)}

В частности, это подразумевает следующие два свойства: 332>Прямая сумма двух модулей конечной длины имеет конечную длину

  • Подмодуль модуля конечной длины имеет конечную длину, и его длина меньше или равна его родительскому модулю.
  • Jordan– Теорема Гёльдера

    A композиционный ряд модуля M представляет собой цепочку вида

    0 = N 0 ⊊ N 1 ⊊ ⋯ ⊊ N n = M {\ displaystyle 0 = N_ {0} \ subsetneq N_ { 1} \ subsetneq \ cdots \ subsetneq N_ {n} = M}0 = N_ {0} \ subsetneq N_ {1} \ subsetneq \ cdots \ subsetneq N_ {n} = M

    такой, что

    N i + 1 / N i является простым для i = 0,…, n - 1 {\ displaystyle N_ {i + 1 } / N_ {i} {\ t_dv {прост для}} i = 0, \ dots, n-1}N_ {i + 1} / N_ {i} {\ t_dv {просто для}} i = 0, \ dots, n-1

    Модуль M имеет конечную длину тогда и только тогда, когда он имеет (конечный) композиционный ряд, а длина каждого такого композиционного ряда равна длине M.

    Примеры

    Конечномерные векторные пространства

    Любое конечномерное векторное пространство V {\ displaystyle V}V над полем k {\ displaystyle k}k имеет конечную длину. Для базиса v 1,…, vn {\ displaystyle v_ {1}, \ ldots, v_ {n}}v_ {1}, \ ldots, v_ {n} существует цепь

    0 ⊂ Span k (v 1) ⊂ Span k (v 1, v 2) ⊂ ⋯ ⊂ Span k (v 1,…, vn) = V {\ displaystyle 0 \ subset {\ text {Span}} _ {k} (v_ {1}) \ subset { \ text {Span}} _ {k} (v_ {1}, v_ {2}) \ subset \ cdots \ subset {\ text {Span}} _ {k} (v_ {1}, \ ldots, v_ {n }) = V}{\ displaystyle 0 \ subset {\ text {Span}} _ {k} (v_ {1}) \ subset {\ text {Span}} _ { k} (v_ {1}, v_ {2}) \ subset \ cdots \ subset {\ text {Span}} _ {k} (v_ {1}, \ ldots, v_ {n}) = V}

    длиной n {\ displaystyle n}n . Он максимален, потому что для любой цепи

    V 0 ⊂ ⋯ ⊂ V m {\ displaystyle V_ {0} \ subset \ cdots \ subset V_ {m}}{\ displaystyle V_ {0} \ subset \ cdots \ subset V_ {m}}

    размерность каждого включения увеличится как минимум на 1 {\ displaystyle 1}1 . Следовательно, его длина и размер совпадают.

    Артинианские модули

    Над базовым кольцом R {\ displaystyle R}R , Артинианские модули образуют класс примеров конечных модулей. Фактически, эти примеры служат в качестве основных инструментов для определения порядка исчезновения в Теория пересечений.

    Нулевой модуль

    Нулевой модуль - единственный с длиной 0.

    Простые модули

    Модули длины 1 - это в точности простые модули.

    артиновые модули над Z

    Длина циклической группы Z / n {\ displaystyle \ mathbb {Z} / n}\ mathbb {Z} / n (рассматриваемый как модуль над целыми числами Z) равно количеству простых множителей n {\ displaystyle n}n , с многократным подсчетом нескольких простых множителей. Это можно найти с помощью китайской теоремы об остатках.

    Использование в теории множественности

    Для необходимости теории пересечений, представил Жан-Пьер Серр общее понятие кратности точки как длины артинового локального кольца, связанного с этой точкой.

    Первым приложением было полное определение кратности пересечения, и, в частности, утверждение теоремы Безу, которая утверждает, что сумма кратностей точки пересечения n алгебраических гиперповерхностей в n-мерном проективном пространстве либо бесконечны, либо являются точным произведением степеней гиперповерхностей.

    Это определение множественности является довольно общим и содержит в качестве частных случаев большинство предыдущих понятий алгебраической множественности.

    Порядок обращения в нуль нулей и полюсов

    Частным случаем этого общего определения кратности является порядок обращения в нуль ненулевой алгебраической функции f ∈ R (X) ∗ {\ displaystyle f \ in R (X) ^ {*}}{\ displaystyle f \ in R (X) ^ {*}} на алгебраическом многообразии. Учитывая алгебраическое разнообразие X {\ displaystyle X}Икс и подмногообразие V {\ displaystyle V}V из коразмерность 1 порядок обращения в нуль для многочлена f ∈ R (X) {\ displaystyle f \ in R (X)}{\ displaystyle f \ in R (X)} определяется как

    ord V ( е) = длина OV, X (OV, X (f)) {\ displaystyle {\ text {ord}} _ {V} (f) = {\ text {length}} _ {{\ mathcal {O}} _ {V, X}} \ left ({\ frac {{\ mathcal {O}} _ {V, X}} {(f)}} \ right)}{\ displaystyle {\ text {ord}} _ { V} (f) = {\ text {length}} _ {{\ mathcal {O}} _ {V, X}} \ left ({\ frac {{\ mathcal {O}} _ {V, X}} {(f)}} \ right)}

    где OV, X {\ displaystyle {\ mathcal {O}} _ {V, X}}{\ displaystyle {\ mathcal {O}} _ {V, X }} - локальное кольцо, определяемое стеблем OX {\ displaystyle {\ mathcal {O}} _ {X}}{\ mathcal {O}} _ {X} вдоль подмножества V {\ displaystyle V}V или, что эквивалентно, стебель из OX {\ displaystyle {\ mathcal {O}} _ {X}}{\ mathcal {O}} _ {X} в общей точке V {\ displaystyle V}V . Если X {\ displaystyle X}Икс является аффинным разнообразием, и V {\ displaystyle V}V определяется исчезающим локусом V (f) {\ displaystyle V (f)}{\ displaystyle V (е)} , тогда существует изоморфизм

    OV, X ≅ R (X) (f) {\ displaystyle {\ mathcal {O}} _ {V, X} \ cong R (X) _ {(f)}}{\ displaystyle {\ mathcal {O}} _ {V, X} \ cong R (X) _ {(f)}}

    Эту идею можно распространить на рациональные функции F = f / g {\ displaystyle F = f / g}{\ displaystyle F = е / g} для разновидности X {\ displaystyle X}Икс , где порядок определяется как

    ord V (F): = ord V (f) - ord V (g) {\ displaystyle {\ text {ord}} _ {V} (F): = {\ text {ord}} _ {V} (f) - {\ text {ord}} _ {V} (g)}{\ displaystyle {\ text {ord}} _ {V} (F) : = {\ text {ord}} _ {V} (f) - {\ text {ord}} _ {V} (g)}

    который аналогичен определению порядка нулей и полюсов в Комплексном анализе.

    Пример проективного многообразия

    Например, рассмотрим проективную поверхность Z (h) ⊂ P 3 {\ displaystyle Z (h) \ subset \ mathbb {P} ^ {3}}{\ displaystyle Z (h) \ subset \ mathbb {P} ^ {3}} , определяемый полиномом h ∈ k [x 0, x 1, x 2, x 3] {\ displaystyle h \ in k [x_ {0}, x_ {1}, x_ {2}, x_ {3}]}{\ displaystyle h \ in k [x_ {0}, x_ {1}, x_ {2}, x_ {3}]} , затем t Порядок обращения в нуль рациональной функции

    F = fg {\ displaystyle F = {\ frac {f} {g}}}{\ displaystyle F = {\ frac {f} {g}}}

    определяется как

    ord Z (h) (F) = ord Z (h) (f) - ord Z (h) (g) {\ displaystyle {\ text {ord}} _ {Z (h)} (F) = {\ text {ord}} _ {Z (h)} (f) - {\ text {ord}} _ {Z (h)} (g)}{\ displaystyle {\ text {ord} } _ {Z (h)} (F) = {\ text {ord}} _ {Z (h)} (f) - {\ text {ord}} _ {Z (h)} (g)}

    где

    ord Z (h) (f) = длина OZ (h), P 3 (OZ (h), П 3 (е)) {\ displaystyle {\ text {ord}} _ {Z (h)} (f) = {\ text {length}} _ {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} \ left ({\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(f)} } \ right)}{\ displaystyle {\ text {ord}} _ {Z (h)} (f) = {\ text {длина }} _ {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} \ left ({\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(f)}} \ right)}

    Например, если h = x 0 3 + x 1 3 + x 2 3 + x 2 3 {\ displaystyle h = x_ {0} ^ {3} + x_ {1} ^ {3} + x_ {2} ^ {3} + x_ {2} ^ {3}}{\ displaystyle h = x_ {0} ^ {3} + x_ {1} ^ {3} + x_ {2} ^ {3} + x_ {2} ^ {3}} и f = x 2 + y 2 {\ displaystyle f = x ^ {2} + y ^ {2}}{\ displaystyle f = x ^ {2} + y ^ {2}} и g = h 2 (x 0 + x 1 - x 3) {\ displaystyle g = h ^ {2} (x_ {0} + x_ {1 } -x_ {3})}{\ displaystyle g = h ^ {2} (x_ {0} + x_ {1} -x_ {3})} тогда

    ord Z (h) (f) = длина OZ (h), P 3 (OZ (h), P 3 (x 2 + y 2)) = 0 {\ displaystyle {\ text {ord}} _ {Z (h)} (f) = {\ text {length}} _ {{\ mathcal {O}} _ {Z (h), \ mathbb { P} ^ {3}}} \ left ({\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(x ^ {2} + y ^ {2})}} \ right) = 0}{\ displaystyle {\ text {ord}} _ {Z (h)} (f) = {\ text {length}} _ {{\ mathcal { O}} _ {Z (h), \ mathbb {P} ^ {3}}} \ left ({\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3 }}} {(х ^ {2} + y ^ {2})}} \ right) = 0}

    , поскольку x 2 + y 2 {\ displaystyle x ^ { 2} + y ^ {2}}х ^ {2} + y ^ {2} - это Единица (теория колец) в локальном кольце OZ (h), P 3 {\ displaystyle {\ mathcal {O }} _ {Z (h), \ mathbb {P} ^ {3}}}{\ displaystyle {\ m athcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} . В другом случае x 0 + x 1 - x 3 {\ displaystyle x_ {0} + x_ {1} -x_ {3}}{\ displaystyle x_ { 0} + x _ {1} -x_ {3}} является единицей, поэтому модуль частного изоморфен to

    OZ (h), P 3 (h 2) {\ displaystyle {\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(h ^ {2})}}}{\ displaystyle { \ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(h ^ {2})}}}

    , чтобы его длина была 2 {\ displaystyle 2}2 . Его можно найти с помощью максимальной правильной последовательности

    (0) ⊂ OZ (h), P 3 (h) ⊂ OZ (h), P 3 (h 2) {\ displaystyle (0) \ subset {\ frac { {\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(h)}} \ subset {\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(h ^ {2})}}}{\ displaystyle (0) \ subset {\ frac {{\ mathcal {O}} _ {Z (h), \ mathbb {P} ^ {3}}} {(h)}} \ subset {\ frac {{\ mathcal {O}} _ {Z (час), \ mathbb {P} ^ {3}}} {(h ^ {2})}}}

    Ноль и полюсы аналитической функции

    Порядок обращения в нуль является обобщением порядка нули и полюсы для мероморфных функций в Комплексном анализе. Например, функция

    (z - 1) 3 (z - 2) (z - 1) (z - 4 i) {\ displaystyle {\ frac {(z-1) ^ {3} (z-2)} {(z-1) (z-4i)}}}{\ displaystyle {\ frac {(z-1) ^ {3} (z-2)} {(z-1) (z-4i)}}}

    имеет нули порядка 2 и 1 при 1, 2 ∈ C {\ displaystyle 1,2 \ in \ mathbb {C}}{\ displaystyle 1,2 \ in \ mathbb {C}} и полюс порядка 1 {\ displaystyle 1}1 at 4 i ∈ C {\ displaystyle 4i \ in \ mathbb {C}}{\ displaystyle 4i \ in \ mathbb {C }} . Такую информацию можно закодировать, используя длину модулей. Например, установка R (X) = C [z] {\ displaystyle R (X) = \ mathbb {C} [z]}{\ displaystyle R (X) = \ mathbb {C} [z]} и V = V (z - 1) {\ displaystyle V = V (z-1)}{\ displaystyle V = V (z-1)} , существует связанное локальное кольцо OV, X {\ displaystyle {\ mathcal {O}} _ { V, X}}{\ displaystyle {\ mathcal {O}} _ {V, X }} равно C [z] (z - 1) {\ displaystyle \ mathbb {C} [z] _ {(z-1)}}{\ displaystyle \ mathbb {C} [z] _ {(z-1)}} и модуль частного

    C [z] (z - 1) ((z - 4 i) (z - 1) 2) {\ displaystyle {\ frac {\ mathbb {C} [z] _ {(z- 1)}} {((z-4i) (z-1) ^ {2})}}}{\ displaystyle { \ гидроразрыва {\ mathbb {C} [z] _ {(z-1)}} {((z-4i) (z-1) ^ {2})}}}

    Обратите внимание, что z - 4 i {\ displaystyle z-4i}{\ displaystyle z-4i} является единица, поэтому она изоморфна модулю частного

    C [z] (z - 1) ((z - 1) 2) {\ displaystyle {\ frac {\ mathbb {C} [z] _ {(z -1)}} {((z-1) ^ {2})}}}{\ displaystyle { \ гидроразрыва {\ mathbb {C} [z] _ {(z-1)}} {((z-1) ^ {2})}}}

    Его длина равна 2 {\ displaystyle 2}2 , поскольку существует максимальная цепочка

    (0) ⊂ C [z] (z - 1) ((z - 1)) ⊂ C [z] (z - 1) ((z - 1) 2) {\ displaystyle (0) \ subset {\ frac { \ mathbb {C} [z] _ {(z-1)}} {((z-1))}} \ subset {\ displaystyle {\ frac {\ mathbb {C} [z] _ {(z-1)}} {((z-1) ^ {2})}}}}{\ displaystyle (0) \ subset {\ frac {\ mathbb {C} [z] _ {( z-1)}} {((z-1))}} \ subset {\ displaystyle {\ frac {\ mathbb {C} [z] _ {(z-1)}} {((z-1) ^ {2})}}}}

    субмодулей. В более общем плане, используя теорему факторизации Вейерштрасса, мероморфная функция множит на множители как

    F = fg {\ displaystyle F = {\ frac {f} {g}}}{\ displaystyle F = {\ frac {f} {g}}}

    , которая является (возможно, бесконечной) произведение линейных многочленов как в числителе, так и в знаменателе.

    См. Также

    Ссылки

    Внешние ссылки

    • Стивен Х. Вайнтрауб, Теория представлений Конечные группы AMS (2003) ISBN 0-8218-3222-0, ISBN 978-0-8218-3222-6
    • Аллен Альтман, Стивен Клейман, Термин коммутативной алгебры.
    • Проект Stacks. Длина
    Последняя правка сделана 2021-05-26 06:10:17
    Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
    Обратная связь: support@alphapedia.ru
    Соглашение
    О проекте