У комутативній алгебрі кільцем нормування називається область цілісності, що задовольняє деяким додатковим вимогам. Кільця нормування є пов'язаними з поняттям нормування на полі. Мають широке застосування в алгебраїчній теорії чисел і алгебраїчній геометрії.
Визначення
Нехай R є областю цілісності з полем часток K. Тоді R називається кільцем нормування, якщо воно задовольняє будь-яку із еквівалентних умов:
- Для довільного ненульового елемента , хоча б один з елементів x і x-1 належить R.
- Множина ідеалів R є цілком впорядкованою відносно включення підмножин.
- Множина головних ідеалів R є цілком впорядкованою відносно включення підмножин.
- Існує цілком впорядкована абелева група Γ (що називається групою нормування) і сюр'єктивний гомоморфізм груп (що називається нормуванням поля) ν:K× → Γ для якого R = { x в K× : ν(x) ≥ 0 } ∪ {0}.
Кільця нормування можна визначити ще одним способом. Локальне кільце домінує над якщо і . Відношення домінування є відношенням часткового порядку на множині підкілець поля K. Максимальні елементи цієї множини і тільки вони є кільцями нормування поля K.
Будь-яке кільце нормування R задає нормування на своєму полі часток K. При використанні першого означення нормування на полі часток можна задати так: нехай . Позначимо природне вкладення K× в G як . Для елементів G визначимо відношення порядку: Тоді R стає лінійно впорядкованою групою. Додавши до неї нескінченний елемент, що більший від усіх інших елементів і довизначивши отримаємо, що ν і є необхідним нормуванням.
Властивості
- Кільце нормування R є локальним кільцем.
- Якщо R — кільце нормування, a — кільце з тим же полем часток, що і R, то A також є кільцем нормування і A є локалізацією кільця R за деяким простим ідеалом.
- Кільце нормування R є цілозамкнутим. Більш того, для довільного цілісного кільця A його ціле замикання дорівнює перетину всіх кілець нормування в його полі часток, що містять R.
- Кільце нормування є нетерівським тоді і тільки тоді, коли нормування є дискретним, тобто кільце є кільцем дискретного нормування.
- Якщо P є простим ідеалом кільця нормування R то і RP (локалізація за ідеалом P) і фактор-кільце R/P є кільцями нормування.
- Нехай R є підкільцем поля K і є гомоморфізмом кільця R в алгебраїчно замкнуте поле L. Тоді існує максимальне продовження гомоморфізму де підкільце , A є підкільцем поля K і продовження гомоморфізму на ще більші підкільця є неможливим. Для кожного такого максимального продовження кільце A є кільцем нормування.
- Ціле замикання області цілісності у своєму полі часток є рівне перетину всіх кілець нормування, що містять цю область цілісності.
Приклади
- Поле K є кільцем нормування.
- Нехай K — поле, а K[x] і K(x) — відповідно кільце многочленів і поле раціональних функцій над K. Тоді кільце
- є кільцем нормування для поля K(x).
- Нехай K — поле, а K[[X]] — кільце формальних степеневих рядів, тобто виразів виду Тоді K[[X]] є кільцем нормування поля формальних рядів Лорана, тобто виразів виду
- Для поля раціональних чисел і довільного простого числа p, кільце нормування R можна визначити в такий спосіб:
Побудова кілець нормування для даної групи нормування
Для даної цілком впорядкованої абелевої групи Γ і поля k, позначимо K = k((Γ)) кільце формальних степеневих рядів із степенями із групи Γ. Іншими словами елементами K є функції із Γ у k такі, що елементи Γ де значення функції не рівне нулю утворюють цілком впорядковану множину. Додавання функцій є поточковим, а множення є за конволюцією, тобто відбувається аналогічно до множення степеневих рядів:
- із правилом
Нормування ν(f) для елемента f у K за означення є рівним найменшому елементу g групи Γ для якого f(g) не рівне нулю. Такий елемент існує зважаючи на умови впорядкованості. Множина f для яких ν(f)≥0 (разом із 0 поля K), утворюють підкільце D поля K яке є кільцем нормування щодо нормування ν і з групою нормування Γ.
Ідеали кілець нормування
Множина ідеалів кільця нормування є лінійно впорядкованою щодо включення, будь-який скінченнопорождений ідеал є головним, тобто кільце нормування є кільцем Безу.
Більш повно опис будови ідеалів кільця нормування можна дати в термінах групи значень нормування. Підмножина M лінійно впорядкованої множини називається мажорною (або мажором), якщо з співвідношень і випливає, що
Нехай R — кільце нормування v поля K з групою значень Γ, а Γ+ — піднапівгрупа додатних елементів у Γ і M — мажорна множина в Γ+. Відображення є бієктивним (взаємно однозначним) відображенням множини мажорних підмножин з Γ+ на множину ідеалів кільця R. При цьому головним ідеалам відповідають мажори, що мають мінімальні елементи.
Простим ідеалам теж відповідають мажори спеціального виду, а саме: мажори виду , де H+ — додатна частина деякої опуклої підгрупи H групи Γ, тобто підгрупи для якої, якщо то також для всіх таких, що також Таким чином, встановлюється взаємно однозначна відповідність між простими ідеалами кільця R і опуклими підгрупами групи значень G.
Нехай p — простий ідеал, що відповідає опуклій підгрупі H, тоді композиція відображень буде нормуванням поля K з кільцем нормування і максимальним ідеалом Крім того, на поле індукується нормування зі значеннями в групі H і кільцем нормування . Тим самим нормування розщеплюється на більш прості.
Нехай R — кільце нормування, тоді простий спектр R без нуля () є лінійно впорядкованою множиною і її тип називається висотою, або рангом, відповідного нормування Якщо є скінченною множиною, то висота нормування є числом елементів в , і це число збігається з числом опуклих підгруп групи G, що не рівні самій групі G.
Нормування скінченного рангу зводяться до нормування рангу 1. Останні характеризуються тим, що їх група значень — архімедова група, тобто ізоморфна деякій підгрупі адитивної групи дійсних чисел. В цьому випадку відображення є ультраметричним абсолютним значенням на полі K.
Див. також
Посилання
- Hazewinkel, Michiel, ред. (2001), Valuation, Математична енциклопедія, , ISBN
- Robert B. Ash A Course In Commutative Algebra Chapter 3 Valuation Rings [ 7 грудня 2016 у Wayback Machine.]
Джерела
- Алгебраическая теория чисел. ред. Касселс Д., Фрёлих А. М.: Мир 1969
- Cohn, P. M. (1991), Algebraic Numbers and Algebraic Functions, Chapman Hall/CRC Mathematics Series, т. 4, CRC Press, ISBN
- Goldschmidt, David M. (2003), Algebraic Functions and Projective Curves, Graduate Texts in Mathematics, Springer, ISBN
- Gopalakrishnan, N. S. (1984). Commutative Algebra. Oxonian Press. с. 290.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U komutativnij algebri kilcem normuvannya nazivayetsya oblast cilisnosti sho zadovolnyaye deyakim dodatkovim vimogam Kilcya normuvannya ye pov yazanimi z ponyattyam normuvannya na poli Mayut shiroke zastosuvannya v algebrayichnij teoriyi chisel i algebrayichnij geometriyi ViznachennyaNehaj R ye oblastyu cilisnosti z polem chastok K Todi R nazivayetsya kilcem normuvannya yaksho vono zadovolnyaye bud yaku iz ekvivalentnih umov Dlya dovilnogo nenulovogo elementa x K displaystyle x in K hocha b odin z elementiv x i x 1 nalezhit R Mnozhina idealiv R ye cilkom vporyadkovanoyu vidnosno vklyuchennya pidmnozhin Mnozhina golovnih idealiv R ye cilkom vporyadkovanoyu vidnosno vklyuchennya pidmnozhin Isnuye cilkom vporyadkovana abeleva grupa G sho nazivayetsya grupoyu normuvannya i syur yektivnij gomomorfizm grup sho nazivayetsya normuvannyam polya n K G dlya yakogo R x v K n x 0 0 Kilcya normuvannya mozhna viznachiti she odnim sposobom Lokalne kilce S mS displaystyle S mathfrak m S dominuye nad R mR displaystyle R mathfrak m R yaksho S R displaystyle S supset R i mS R mR displaystyle mathfrak m S cap R mathfrak m R Vidnoshennya dominuvannya ye vidnoshennyam chastkovogo poryadku na mnozhini pidkilec polya K Maksimalni elementi ciyeyi mnozhini i tilki voni ye kilcyami normuvannya polya K Bud yake kilce normuvannya R zadaye normuvannya na svoyemu poli chastok K Pri vikoristanni pershogo oznachennya normuvannya na poli chastok mozhna zadati tak nehaj G K R displaystyle G K R Poznachimo prirodne vkladennya K v G yak v a a 1 a K displaystyle v a a 1 a in K Dlya elementiv G viznachimo vidnoshennya poryadku aR bR a 1b R displaystyle aR leqslant bR Longleftrightarrow a 1 b in R Todi R staye linijno vporyadkovanoyu grupoyu Dodavshi do neyi neskinchennij element sho bilshij vid usih inshih elementiv i doviznachivshi v 0 displaystyle v 0 infty otrimayemo sho n i ye neobhidnim normuvannyam VlastivostiKilce normuvannya R ye lokalnim kilcem Yaksho R kilce normuvannya a A R displaystyle A supset R kilce z tim zhe polem chastok sho i R to A takozh ye kilcem normuvannya i A ye lokalizaciyeyu kilcya R za deyakim prostim idealom Kilce normuvannya R ye cilozamknutim Bilsh togo dlya dovilnogo cilisnogo kilcya A jogo cile zamikannya dorivnyuye peretinu vsih kilec normuvannya v jogo poli chastok sho mistyat R Kilce normuvannya ye neterivskim todi i tilki todi koli normuvannya ye diskretnim tobto kilce ye kilcem diskretnogo normuvannya Yaksho P ye prostim idealom kilcya normuvannya R to i RP lokalizaciya za idealom P i faktor kilce R P ye kilcyami normuvannya Nehaj R ye pidkilcem polya K i h R L displaystyle h R to L ye gomomorfizmom kilcya R v algebrayichno zamknute pole L Todi isnuye maksimalne prodovzhennya gomomorfizmu h A L displaystyle h A to L de pidkilce A R displaystyle A supset R A ye pidkilcem polya K i prodovzhennya gomomorfizmu na she bilshi pidkilcya ye nemozhlivim Dlya kozhnogo takogo maksimalnogo prodovzhennya kilce A ye kilcem normuvannya Cile zamikannya oblasti cilisnosti u svoyemu poli chastok ye rivne peretinu vsih kilec normuvannya sho mistyat cyu oblast cilisnosti PrikladiPole K ye kilcem normuvannya Nehaj K pole a K x i K x vidpovidno kilce mnogochleniv i pole racionalnih funkcij nad K Todi kilceR f x g x f x g x K x deg f deg g displaystyle R left frac f x g x f x g x in K x deg f leqslant deg g right dd ye kilcem normuvannya dlya polya K x Nehaj K pole a K X kilce formalnih stepenevih ryadiv tobto viraziv vidu F X n 0 anXn ai K displaystyle F X sum limits n 0 infty a n X n a i in K Todi K X ye kilcem normuvannya polya formalnih ryadiv Lorana tobto viraziv vidu G X n N anXn N Zai K displaystyle G X sum limits n N infty a n X n N in mathbb Z a i in K Dlya polya Q displaystyle mathbb Q racionalnih chisel i dovilnogo prostogo chisla p kilce normuvannya R mozhna viznachiti v takij sposib R pnqr n 0 p q 1 p r 1 displaystyle R left p n frac q r n geqslant 0 p q 1 p r 1 right dd Pobudova kilec normuvannya dlya danoyi grupi normuvannyaDlya danoyi cilkom vporyadkovanoyi abelevoyi grupi G i polya k poznachimo K k G kilce formalnih stepenevih ryadiv iz stepenyami iz grupi G Inshimi slovami elementami K ye funkciyi iz G u k taki sho elementi G de znachennya funkciyi ne rivne nulyu utvoryuyut cilkom vporyadkovanu mnozhinu Dodavannya funkcij ye potochkovim a mnozhennya ye za konvolyuciyeyu tobto vidbuvayetsya analogichno do mnozhennya stepenevih ryadiv g Gf g xg displaystyle sum g in G f g x g iz pravilom xg xh xg h displaystyle x g cdot x h x g h Normuvannya n f dlya elementa f u K za oznachennya ye rivnim najmenshomu elementu g grupi G dlya yakogo f g ne rivne nulyu Takij element isnuye zvazhayuchi na umovi vporyadkovanosti Mnozhina f dlya yakih n f 0 razom iz 0 polya K utvoryuyut pidkilce D polya K yake ye kilcem normuvannya shodo normuvannya n i z grupoyu normuvannya G Ideali kilec normuvannyaMnozhina idealiv kilcya normuvannya ye linijno vporyadkovanoyu shodo vklyuchennya bud yakij skinchennoporozhdenij ideal ye golovnim tobto kilce normuvannya ye kilcem Bezu Bilsh povno opis budovi idealiv kilcya normuvannya mozhna dati v terminah grupi znachen normuvannya Pidmnozhina M linijno vporyadkovanoyi mnozhini nazivayetsya mazhornoyu abo mazhorom yaksho z spivvidnoshen x M displaystyle x in M i y gt x displaystyle y gt x viplivaye sho y M displaystyle y in M Nehaj R kilce normuvannya v polya K z grupoyu znachen G a G pidnapivgrupa dodatnih elementiv u G i M mazhorna mnozhina v G Vidobrazhennya M a M x K v x M displaystyle M to alpha M x in K v x in M cup infty ye biyektivnim vzayemno odnoznachnim vidobrazhennyam mnozhini mazhornih pidmnozhin z G na mnozhinu idealiv kilcya R Pri comu golovnim idealam vidpovidayut mazhori sho mayut minimalni elementi Prostim idealam tezh vidpovidayut mazhori specialnogo vidu a same mazhori vidu MH G H displaystyle M H Gamma setminus H de H dodatna chastina deyakoyi opukloyi pidgrupi H grupi G tobto pidgrupi dlya yakoyi yaksho h H displaystyle h in H to takozh dlya vsih g G displaystyle g in Gamma takih sho min h h g max h h displaystyle min h h leqslant g leqslant max h h takozh g H displaystyle g in H Takim chinom vstanovlyuyetsya vzayemno odnoznachna vidpovidnist mizh prostimi idealami kilcya R i opuklimi pidgrupami grupi znachen G Nehaj p prostij ideal sho vidpovidaye opuklij pidgrupi H todi kompoziciya vidobrazhen K G G H displaystyle K to G to G H bude normuvannyam polya K z kilcem normuvannya Rp displaystyle R p i maksimalnim idealom pRp displaystyle pR p Krim togo na pole Rp pRp displaystyle R p pR p indukuyetsya normuvannya zi znachennyami v grupi H i kilcem normuvannya R p displaystyle R p Tim samim normuvannya rozsheplyuyetsya na bilsh prosti Nehaj R kilce normuvannya todi prostij spektr R bez nulya Spec R 0 displaystyle mathrm Spec R 0 ye linijno vporyadkovanoyu mnozhinoyu i yiyi tip nazivayetsya visotoyu abo rangom vidpovidnogo normuvannya Yaksho Spec R displaystyle mathrm Spec R ye skinchennoyu mnozhinoyu to visota normuvannya ye chislom elementiv v Spec R 0 displaystyle mathrm Spec R 0 i ce chislo zbigayetsya z chislom opuklih pidgrup grupi G sho ne rivni samij grupi G Normuvannya skinchennogo rangu zvodyatsya do normuvannya rangu 1 Ostanni harakterizuyutsya tim sho yih grupa znachen arhimedova grupa tobto izomorfna deyakij pidgrupi aditivnoyi grupi dijsnih chisel V comu vipadku vidobrazhennya x exp v x displaystyle x to exp v x ye ultrametrichnim absolyutnim znachennyam na poli K Div takozhAbsolyutne znachennya algebra Kilce diskretnogo normuvannya Normuvannya algebra Oblast PryuferaPosilannyaHazewinkel Michiel red 2001 Valuation Matematichna enciklopediya Springer ISBN 978 1 55608 010 4 Robert B Ash A Course In Commutative Algebra Chapter 3 Valuation Rings 7 grudnya 2016 u Wayback Machine DzherelaAlgebraicheskaya teoriya chisel red Kassels D Fryolih A M Mir 1969 Cohn P M 1991 Algebraic Numbers and Algebraic Functions Chapman Hall CRC Mathematics Series t 4 CRC Press ISBN 9780412361906 Goldschmidt David M 2003 Algebraic Functions and Projective Curves Graduate Texts in Mathematics Springer ISBN 0 387 95432 5 Gopalakrishnan N S 1984 Commutative Algebra Oxonian Press s 290