ベズー整域

数学において、ベズー整域 (Bézout domain) は2つの主イデアルの和が再び主イデアルになるような整域である。このことが意味するのは、元の各組に対してベズーの等式 (Bézout identity) が成り立ち、すべての有限生成イデアルは単項であるということである。任意の単項イデアル整域 (PID) はベズー整域だが、ベズー整域はネーター環とは限らないので、有限生成でないイデアルをもつかもしれない(これは明らかに PID でない)。そうであれば、一意分解整域 (UFD) ではないが、なおGCD整域である。ベズー整域の理論は PID の性質の多くを、ネーター性を要求せずに、保つ。ベズー整域はフランス人数学者 Étienne Bézout にちなんで名づけられている。

  • すべての PID はベズー整域である。
  • PID でないベズー整域の例には整関数(全複素平面上で正則な関数)の環や代数的整数の環がある[1]。整関数のケースでは、既約元は次数 1 の多項式に同伴な関数のみなので、元が分解をもつのは有限個の零点をもつ場合に限る。代数的整数のケースでは、既約元は全く存在しない、なぜならば任意の代数的整数に対して(例えば)その平方根はまた代数的整数であるからだ。これは両方のケースにおいて環が UFD でなくしたがって PID でないことを示している。
  • 付値環はベズー整域である。任意の非ネーター付値環は非ネーターベズー整域の例である。
  • 以下の一般的な構成は体でない任意のベズー整域 R から、例えば PID から、UFD でないベズー整域 S を生み出す。R = Z の場合が心にとどめておくべき基本的な例である。FR分数体とし、S = R + XF[X] とおく。定数項が R に入る F[X] の多項式の部分環である。この環はネーターでない、なぜならば X のような定数項が 0 の元は R の非可逆元、これは S の非可逆元でもある、によって何度でも割ることができる。すべてのこれらの商によって生成されるイデアルは有限生成でない(なので XS において分解をもたない)。以下のようにして S がベズー整域であることを証明する。
  1. S の元のすべての組 a, b に対して、S のある元 s, t が存在して、as + btab を両方割り切ることを証明すれば十分である。
  2. ab が共通約元 d をもてば、これを a/db/d に対して証明すれば十分である、なぜならば同じ s, t でうまくいくから。
  3. 多項式 ab は 0 でないとしてよい。両方とも定数項が 0 であれば、n を次のような最小の指数とする。それらのうち少なくとも一方が 0 でない Xn の係数をもつ。すると fF であって fXnab の共通約元でありそれで割り切れるようなものが見つかる。
  4. したがって ab の少なくとも一方は 0 でない定数項をもつとしてよい。F[X] の元として見た ab が互いに素でなければ、この UFD において定数項 1 をもちそれゆえ S に入る ab の最大公約元が存在する。この因子で割ることができる。
  5. したがってまた abF[X] において互いに素と仮定してよく、1 は aF[X] + bF[X] に入り、R のある定数多項式 raS + bS に入る。また、R はベズー整域であるから、定数項 a0b0R における gcd da0R + b0R に入る。aa0 あるいは bb0 のような定数項をもたない任意の元は任意の 0 でない定数で割り切れるから、定数 dS において ab の共通因数である。それが実は最大共通約元であることをそれが aS + bS に入っていることを示すことによって証明しよう。ab をそれぞれ a0b0 に関して d に対してベズー係数によって掛けることによって定数項 d をもつ aS + bS の多項式 p を得る。すると pd は定数項が 0 なので S において定数多項式 r の倍元でありしたがって aS + bS に入る。しかしすると d もそうなので、証明が完了する。

性質

環がベズー整域であることと整域であって任意の2つの元がそれらの線型結合である最大公約元をもつことは同値である。これは次のステートメントと同値である。2つの元で生成されたイデアルはただ1つの元でも生成できて、帰納法によってすべての有限生成イデアルは単項イデアルである。PID の2つの元の最大公約元の線型結合としての表現はしばしばベズーの等式と呼ばれるが、用語はそこから来ている。

上記の gcd 条件は単に gcd が存在するという条件よりも強いことに注意せよ。任意の 2 元に対して gcd が存在する整域はGCD整域と呼ばれ、したがってベズー整域は GCD 整域である。とくに、ベズー整域において、既約元素元である(しかし代数的整数の例からわかるように、それらが存在する必要はない)。

ベズー整域 R に対して、以下の条件は全て同値である。

  1. R は主イデアル整域
  2. R はネーター
  3. R一意分解整域
  4. R主イデアルに対する昇鎖条件 (ACCP) を満たす
  5. R のすべての非零非単元は既約元の積に分解する(R原子整域英語版である)

(1) と (2) の同値性は上で述べた。ベズー整域は GCD 整域であるから、ただちに (3), (4), (5) の同値性が従う。最後に、R がネーターでなければ、有限生成イデアルの無限昇鎖列が存在するので、ベズー整域において主イデアルの無限昇鎖が存在する。(4) と (2) はしたがって同値である。

ベズー整域はプリューファー整域である、すなわち整域であって各有限生成イデアルは可逆である、あるいは別の言い方をすれば、可換半遺伝整域である。

雑に言えば、「ベズー整域ならばプリューファー整域かつ GCD-整域である」という包含をもっとよく知られた「PID ならばデデキント整域かつ UFD である」という包含の非ネーターの類似物と見ることができる。類似は UFD(あるいは原子プリューファー整域)はネーターとは限らないという点で正確さに欠ける。

プリューファー整域はすべての素イデアル(同値だがすべての極大イデアル)における局所化付値整域であるような整域として特徴づけられる。なのでベズー整域の素イデアルにおける局所化は付値整域である。局所環の可逆イデアルは単項なので、局所環がベズー整域であることと付値整域であることは同値である。さらに付値整域が非巡回(同値だが非離散)値群をもてばネーターでなく、すべての全順序アーベル群はある付値整域の値群である。これは非ネーターベズー整域のたくさんの例を与える。

非可換代数において、右ベズー整域 (right Bézout domain) は整域であって有限生成右イデアルが主右イデアルすなわちある xR に対して xR の形であるようなものである。1つの注目すべき結果は右ベズー整域は右オール整域英語版ということだ。この事実は可換なケースでは面白くない、というのもすべての可換整域はオール整域であるからだ。右ベズー整域はまた右半遺伝環でもある。

ベズー整域上の加群

PID 上の加群の事実のいくつかはベズー整域上の加群でも成り立つ。R をベズー整域とし MR 上有限生成加群とする。このとき M が平坦であることとねじれなしであることは同値である[2]

関連項目

参考文献

  1. ^ Cohn
  2. ^ Bourbaki 1989, Ch I, §2, no 4, Proposition 3

Read other articles:

Kramkówka Duża (Desa)Negara PolandiaProvinsiPodlasiePowiatMońkiGminaGoniądz (kota gmina)Populasi (2008) • Total83Zona waktuUTC+1 (CET) • Musim panas (DST)UTC+2 (CEST)Postal code19-110Car platesBMN Gmina Goniądz Kramkówka Duża adalah sebuah desa di kecamatan Goniądz, powiat Mońki, provinsi Podlasie, Polandia. Desa ini berada di Dataran Tinggi Białystok (Polandia: Wysoczyzna Białostockacode: pl is deprecated ) dari Dataran Podlaskie (Polandia: Nizina...

 

Philip H. DybvigBiographieNaissance 22 mai 1955 (68 ans)GainesvilleNationalité américaineFormation Université de l'Indiana à Bloomington (baccalauréat universitaire) (jusqu'en 1976)Université Yale (doctorat) (jusqu'en 1979)Activités Économiste, professeur d'universitéAutres informationsA travaillé pour Université d'économie et de finance du Sud-Ouest (2010-2021)Université Washington de Saint-Louis (depuis 1988)Université Yale (1981-1988)Université de Princeton (1980-1981)D...

 

The Bad Guys: Reign of ChaosPoster rilis teatrikal Amerika SerikatNama lainHangul나쁜 녀석들: 더 무비 Alih Aksara yang DisempurnakanNa-ppeun Nyeo-seok-deul: Deo Mu-bi SutradaraSon Young-hoProduserKim Su-jinYoon In-beomSkenarioSon Young-hoBerdasarkanBad Guysoleh Han Jung-hoonPemeranMa Dong-seokKim Sang-joongKim Ah-joongJang Ki-yongPenata musikMok Young-jinSinematograferLee Jae-hyukPenyuntingShin Min-kyungPerusahaanproduksiCJ EntertainmentBidangil PicturesDistributorCJ Enter...

Town in JapanMinamiizu 南伊豆町TownCape Irōzaki in Minamiizu FlagSealLocation of Minamiizu in Shizuoka PrefectureMinamiizu Coordinates: 34°39′N 138°52′E / 34.650°N 138.867°E / 34.650; 138.867CountryJapanRegionChūbuTōkaiPrefectureShizuokaDistrictKamoArea • Total110.58 km2 (42.70 sq mi)Population (July 2019) • Total8,231 • Density74/km2 (190/sq mi)Time zoneUTC+9 (Japan Standard Time)Phone...

 

Pour les articles homonymes, voir Systématique (homonymie). Ne doit pas être confondu avec Systémique ou Biosystémique. SystématiquePremière page du Species Plantarum de Carl von Linné.Partie de Systématique (en)Champs Taxinomiemodifier - modifier le code - modifier Wikidata La systématique (spécifiquement : biosystématique ou systématique biologique[1]) est une discipline des sciences naturelles[2] et de l'histoire naturelle, qui a pour objet d'inventorier tous les organism...

 

American actress (1920–1998) Esther RolleRolle in 1978BornEsther Elizabeth Rolle(1920-11-08)November 8, 1920Pompano Beach, Florida, U.S.DiedNovember 17, 1998(1998-11-17) (aged 78)Culver City, California, U.S.Resting placeWestview Community Cemetery, Pompano Beach, FloridaNationalityAmerican, BahamianOccupationActressYears active1964–1998Known forFlorida Evans in Maude and Good TimesSpouse Oscar Robinson ​ ​(m. 1955; div. 1975)​...

Chilean cyclist Gonzalo GarridoPersonal informationFull nameGonzalo Andrés Garrido ZentenoBorn (1973-09-02) 2 September 1973 (age 50)Concepción, ChileHeight1.74 m (5 ft 9 in)Weight68 kg (150 lb)Team informationDisciplineRoadRoleRiderAmateur team2012Clos de Pirque–Trek Professional team2013Clos de Pirque–Trek In this Spanish name, the first or paternal surname is Garrido and the second or maternal family name is Zenteno. Gonzalo Andrés Garrido ...

 

Untuk kegunaan lain dari Varian, lihat Varian (disambiguasi). Varian Medical Systems Inc.Kantor pusat Varian di Palo AltoJenisAnak perusahaanKode emitenNYSE: VARIndustriTeknologi kesehatanDidirikan1948; 76 tahun lalu (1948)KantorpusatPalo Alto, California, Amerika SerikatTokohkunciDow R. Wilson, Presiden dan CEOProdukAlat kesehatanPendapatan US$ 2,919 milyar (2018) [1] US$ 2,619 milyar (2017) [1]Laba operasi US$ 441,6 juta (2018) [1] US$ 300,2 ...

 

Type of digital circuit This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Generic Array Logic – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message) Lattice GAL16V8D-15LJ The Generic Array Logic (also known as GAL and sometimes as gate array logic[1]) ...

Law enforcement agency Cyprus Port and Marine PoliceΛιμενική και Ναυτική ΑστυνομίαRacing stripeAbbreviationΛ. & Ν.Α.Agency overviewFormed1960Jurisdictional structureNational agency(Operations jurisdiction)CYOperations jurisdictionCYSizeAreas under the control of the Republic of Cyprus – 157.28 nautical miles - 37.71% of the coastlineExcludingTurkish occupied areas: 218.11 nautical miles - 52.29% of the coastlineBuffer zone: 2.4 nautical miles, 0.57% of the ...

 

  Lihat Bahasa Hausa di: ISO  • Ethnologue  • Wikipedia bahasa Inggris Bahasa Hausa هَوْسَ, harshen Hausa Dituturkan di  Benin  Burkina Faso  Kamerun  Ghana  Niger  Nigeria  Togo  Libya  Gabon  Sudan Penutur70 juta di Nigeria (2016)50 juta sebagai bahasa kedua di Nigeria (2016); jutaan lagi di tempat lainnya Rincian data penutur Jumlah penutur beserta (jika ada) metode pengambilan, jenis, tanggal, dan t...

 

City in Florida, United States City in Florida, United StatesInverness, FloridaCityCity of InvernessOld Citrus County CourthouseLocation in Citrus County and the state of FloridaCoordinates: 28°50′21″N 82°20′25″W / 28.83917°N 82.34028°W / 28.83917; -82.34028Country United StatesState FloridaCounty CitrusIncorporatedMarch 6, 1919 (1919-03-06)[1]Government • TypeCouncil–Manager • MayorBob Plaiste...

Intelligence alliance comprising Denmark, Germany, France, the Netherlands, and Sweden Maximator (intelligence alliance) Map Maximator (named after a type of beer from the German brewery Augustiner-Bräu) is an alliance between the secret services of Denmark, Germany, France, the Netherlands and Sweden, comparable to the Five Eyes. It was founded in 1976 on the initiative of the Danish secret service and has operated largely undetected since then.[1] The most important tool for reconn...

 

العلاقات التشيلية المولدوفية تشيلي مولدوفا   تشيلي   مولدوفا تعديل مصدري - تعديل   العلاقات التشيلية المولدوفية هي العلاقات الثنائية التي تجمع بين تشيلي ومولدوفا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة...

 

الميليشيا أو التنظيم المسلح أو الجماعة المسلحة، جيش تشكله عادة قوات غير نظامية من مواطنين، يعملون عادة بأسلوب حرب العصابات، بعكس مقاتلي الجيوش النظامية الجنود المحترفين.[1][2][3] أو قد يكونون من ناحية تاريخية مقاتلين ينتمون لطبقات نبيلة مثل الساموراي والفرسان. ...

Questa voce sull'argomento calciatori iracheni è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Khalil Mohammed AllawiNazionalità Iraq Altezza178 cm Peso71 kg Calcio RuoloDifensore CarrieraSquadre di club1 ????Al Karkh? (?) Nazionale 1984 Iraq Olimpico2 (0)???? Iraq14+ (2+) 1 I due numeri indicano le presenze e le reti segnate, per le sole partite di campionato.Il simbolo → indica un trasferimen...

 

Grand Prix Tiongkok 2015 Lomba ke-3 dari 19 dalam Formula Satu musim 2015← Lomba sebelumnyaLomba berikutnya → Detail perlombaanTanggal 12 April 2015 (2015-04-12)Nama resmi 2015 Formula 1 Chinese Grand PrixLokasi Sirkuit Internasional Shanghai, Shanghai, Republik Rakyat TiongkokSirkuit Fasilitas Balapan PermanenPanjang sirkuit 5.451 km (3.387 mi)Jarak tempuh 56 putaran, 305.066 km (189.559 mi)Cuaca Cerah21 °C (70 °F) temperatur udara46 °C (115...

 

Greek military dictatorship (1936 to 1941) This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (August 2011) (Learn how and when to remove this message) Kingdom of GreeceΒασίλειον τῆς ἙλλάδοςVasílion tis Elládos1936–1941 State flag Unofficial emblem Motto: Eleftheria i ThanatosΕλευθερία ή θάνατοςFreedom or DeathAnthem...

Indonesian volunteer army created by the Empire of Japan during World War II You can help expand this article with text translated from the corresponding article in Indonesian. (June 2024) Click [show] for important translation instructions. View a machine-translated version of the Indonesian article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurat...

 

American sportscaster Ernie HarwellHarwell in 1966BornWilliam Earnest HarwellJanuary 25, 1918Washington, Georgia, U.S.DiedMay 4, 2010(2010-05-04) (aged 92)Novi, Michigan, U.S.Alma materEmory UniversityOccupationSportscasterYears active1943–2002Spouse Lulu Tankersley ​(m. 1941)​Children4AwardsFord C. Frick Award (1981)Sports commentary careerTeam(s)Atlanta Crackers (1943–48)Brooklyn Dodgers (1948–49)New York Giants (1950–53)Baltimore Orioles ...