В абстрактній алгебрі, а також алгебраїчній теорії чисел і алгебраїчній геометрії, нормування є певною мірою мультиплікативності. Поняття є узагальненням зокрема порядку кореня многочлена, порядку нуля чи полюса в комплексному аналізі і порядку подільності на просте число в арифметиці.

Визначення Нормуванням комутативного кільця з одиницею із значеннями в лінійно впорядкованій абелевій групі з приєднаним нескінченним елементом називається відображення , що задовольняє таким вимогам:

.

Приєднаний нескінченний елемент задовольняє умови і для всіх .

Якщо A є полем, то v є гомоморфізмом групи (A*, ×) в групу (G, +) і образ v(A*) є підгрупою групи G. Обмеживши розгляд лише цією підгрупою можна вважати v сюр'єкцією. Якщо A не є полем, то, образ v(A*) є моноїдом в групі G.

Якщо то нормування називається дискретним.

Пов'язані визначення

Нормування і на кільці A називаються еквівалентними, якщо існує ізоморфізм впорядкованих моноїдів: для якого

Якщо розглядати нормування на полі K то множина елементів R, що визначена як є підкільцем поля K і називається кільцем нормування v в полі K. Кільце нормування завжди є локальним кільцем. Підмножина M поля K, визначена як є максимальним ідеалом кільця R. Він називається ідеалом нормування v. Фактор-кільце , що є полем, називається полем лишків нормування v.

Нехай в полі K задані нормування і . Кільця цих нормувань, що розглядаються як підкільця поля K, тоді і тільки тоді збігаються, коли ці нормування еквівалентні. Таким чином, опис всіх (з точністю до еквівалентності) нормувань поля K зводиться до опису всіх таких підкілець, які можуть бути для цього поля кільцями нормування.

Приклади Нормування кільця, яке визначається формулою:

називається невласним, або тривіальним нормуванням. Для скінченних полів це нормування є єдиним. Будь-яке кільце з неархімедовим абсолютним значенням може бути перетворено в нормоване кільце, якщо в моноїді значень перейти від мультиплікативного запису до адитивного і замінити впорядкованість на інверсну. Елемент 0 при цьому природно позначити символом . Зворотний перехід від кільця з нормуванням до кільця з неархімедовим абсолютним значенням також можливий. Якщо в кільці було задано неархімедове абсолютне значення, із значеннями в множині додатних дійсних чисел то нормування можна визначити формулою:

Нехай є полем, — кільце многочленів з коефіцієнтами з поля і — елемент поля . Порядок кореня многочлена в точці визначає нормування:

Подібним чином можна визначити нормування і на множині раціональних функцій з коефіцієнтами з поля :

Для простого числа можна визначити p-адичне нормування:

Властивості Якщо є комутативним кільцем з одиницею на якому визначено нормування , то :

є областю цілісності; Нормування в єдиний спосіб можна продовжити на поле часток кільця : . Для будь-якої лінійно впорядкованої абелевої групи існує нормування деякого поля, група значень якого ізоморфна .

Топологія нормування поля Нехай , нормування поля K і , де . Сукупність усіх утворює фундаментальну систему околів нуля топології поля K, що називається топологією визначеною нормуванням v. Ця топологія є гаусдорфовою і незв'язною. Топологія, індукована на кільці нормування R, як правило, відрізняється від топології локального кільця. Для нетривіального нормування поля K топологія нормування є локально компактною тоді і тільки тоді, коли нормування v є дискретним, кільце нормування повним, а поле лишків нормування v є скінченним; кільце R при цьому буде компактним.

Поповнення K' поля K щодо топології v є полем. Нормування v неперервно продовжується до нормування , і топологія поповнення K збігається з топологією цього нормування. Кільце нормування є поповненням кільця нормування .

Нормування і поля K називаються незалежними, якщо їх топології нормування є різними. Це еквівалентно тому, що їх кільця нормувань спільно породжують поле K.

Справедлива теорема апроксимації для нормування: нехай — незалежні нормування, і тоді знайдеться такий елемент , що для всіх i.

Продовження нормувань Якщо — нормування поля L, а K — підполе L, то обмеження нормування на поле K є нормуванням поля K, а його група значень G — підгрупою групи G'''. називається при цьому продовженням нормування .

Навпаки, якщо — нормування, a L — розширення поля K, то завжди існує нормування поля L, що продовжує . Індекс підгрупи G в групі G називається індексом розгалуження нормування щодо і позначається . Поле лишків нормування ототожнюється з підполем поля лишків , степінь розширення позначається і називається степенем лишків нормування щодо . Продовження нормування називається безпосереднім, якщо . Нехай L — розширення поля K, а — множина всіх продовжень нормування на L. Якщо L — скінченне розширення поля K степеня n, то множина всіх продовжень є скінченною, і

В ряді випадків цю нерівність можна замінити на рівність, наприклад коли є дискретним нормуванням і або K є повним, або L є сепарабельним над K. Якщо L — нормальне розширення K, то продовження на L переводяться K-автоморфізмами L, зокрема якщо L — радикальне розширення K, то має єдине продовження.

Див. також Абсолютне значення (алгебра) Кільце дискретного нормування Кільце нормування Локальне кільце

Посилання

Джерела Алгебраическая теория чисел.'' ред. Касселс Д., Фрёлих А. М.: Мир 1969