НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ДИСКРЕТНОГО НОРМИРОВАНИЯ КОЛЬЦО

ДИСКРЕТНОГО НОРМИРОВАНИЯ КОЛЬЦО, дискретно нормированное кольцо,- кольцо с дискретным нормированием, т. е. область целостности с единицей, в к-рой существует такой элемент π, что любой ненулевой идеал порождается нек-рой степенью элемента π; такой элемент наз. униформизирующим и определен с точностью до умножения на обратимый элемент. Каждый ненулевой элемент Д. н. к. единственным способом записывается в виде uπn, где u - обратимый элемент, а n ≥ 0 - целое. Примерами Д. н. к. являются кольцо ℤp целых p-адических чисел, кольцо k[[T]] формальных степенных рядов от одной переменной Т над полем k, кольцо Витта векторов W(k) для совершенного поля k.

Д. н. к. может быть определено также как: локальное кольцо главных идеалов; локальное дедекиндово кольцо; локальное одномерное кольцо Крулля; локальное нётерово кольцо с главным максимальным идеалом; нётерово кольцо нормирования; кольцо нормирования с группой значений ℤ.

Пополнение (в естественной топологии локального кольца) Д. н. к. снова есть Д. н. к. Дискретно нормированное кольцо компактно тогда и только тогда, когда оно полно, а его поле вычетов конечно; любое такое кольцо либо изоморфно k[[T]], где k - конечное поле, либо является конечным расширением ℤp.

Если А ⊂ В - локальный гомоморфизм Д. н. к. с униформизирующими π и П, то π = uПe, где u - обратимый элемент в В. Целое число е = е(В/А) наз. индексом ветвления расширения A ⊂ B, а

[B/ПB: A/πA] = f(В/А)

наз. степенью вычетов. Такая ситуация возникает, когда рассматривают целое замыкание В кольца дискретного нормирования А с полем частных K в конечном расширении L поля К. В этом случае В есть полулокальное кольцо главных идеалов, и если η1, ..., ηs - его максимальные идеалы, то Вi = Вηi являются Д. н. к. Если предположить, что L - сепарабельное расширение К степени n, то верна формула

 

Если L/K есть расширение Галуа, то все е(Вi/А) и все f(Bi/A) равны между собой, и n = sef. Если же А - полное Д. н. к., то уже само В будет Д. н. к., и e(B/A) f(B/A) = n. В этих предположениях расширение А ⊂ В (а также L над K) наз. неразветвленным расширением, если е(В/А) = 1, а поле В/η сепарабельно над А/; слабо разветвленным, если e(В/А) взаимно просто с характеристикой поля А/, а В/η сепарабельно над А/; вполне разветвленным, если f(B/A ) = 1.

Теория модулей над Д. н. к. имеет большое сходство с теорией абелевых групп (см. [3]). Любой модуль конечного типа есть прямая сумма циклич. модулей; модуль без кручения является плоским модулем; любой проективный модуль или подмодуль свободного модуля свободен. Однако прямое произведение бесконечного числа свободных модулей не свободно. Модуль без кручения счетного ранга над полным Д. н. к. является прямой суммой модулей ранга 1.

Лит.: [1] Бурбаки Н., Коммутативная алгебра, пер. с франц., М., 1971; [2] Алгебраическая теория чисел, пер. с англ., М., 1969; [3] Kaplansky J., «Trans. Amer. Math. Soc.», 1952, v. 72, p. 327-40.

В. И. Данилов.


Источники:

  1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru