Атомдық домен - Википедия - Atomic domain

Жылы математика, нақтырақ айтсақ сақина теориясы, an атомдық домен немесе факторизация домені болып табылады интегралды домен онда әр нөл емес бірлік емес -ның ақырғы туындысы ретінде кем дегенде бір жолмен жазылуы мүмкін төмендетілмейтін элементтер. Атомдық домендер басқаша бірегей факторизация домендері элементтің бұлайша азайтуға болмайтын ыдырауы ерекше болмауы керек; басқаша айтылған, қысқартылмайтын элемент міндетті емес қарапайым элемент.

Атомдық домендердің маңызды мысалдарына барлық бірегей факторизация домендерінің класы және барлығы жатады Ноетриялық домендер. Жалпы, кез-келген интегралды доменді қанағаттандырады негізгі идеалдар бойынша өсу тізбегінің шарты (яғни ACCP), бұл атомдық домен. Конвент Конның қағазында деп айтылғанымен,[1] бұл жалған екені белгілі.[2]

«Атом» термині байланысты П.Мон Кон, кім шақырды төмендетілмейтін элемент «атом» интегралды доменінің

Мотивация

Бұл бөлімде сақинаны қосу және көбейту амалдарын орындай алатын абстрактілі жиынтық ретінде қарастыруға болады; бүтін сандарға ұқсас.

Бүтін сандар сақинасы (яғни, қосу мен көбейтудің табиғи амалдары бар бүтін сандар жиыны) көптеген маңызды қасиеттерді қанағаттандырады. Осындай қасиеттердің бірі болып табылады арифметиканың негізгі теоремасы. Осылайша, абстрактілі сақиналарды қарастырған кезде, мұндай теорема қандай жағдайда болатыны туралы табиғи сұрақ қою керек. Бастап бірегей факторизация домені дәл осы арифметиканың негізгі теоремасының аналогы болатын сақина, бұл сұраққа оңай жауап беріледі. Алайда, арифметиканың негізгі теоремасының екі аспектісі бар екендігі байқалады; яғни кез келген бүтін сан -ның ақырлы көбейтіндісі болады жай сандар, сонымен қатар бұл өнім қайта құруға дейін бірегей болып табылады (және көбейту арқылы) бірлік ). Сондықтан сақинаның белгілі бір элементтерін қандай жағдайда бірегейлікті талап етпестен «ыдыратуға» болатындығы туралы сұрақ қою да заңды. Атомдық домен тұжырымдамасы осыған бағытталған.

Анықтама

Келіңіздер R болуы интегралды домен. Егер нөлге тең емес болса бірлік емес х туралы R туындысы ретінде жазылуы мүмкін төмендетілмейтін элементтер, R атомдық домен деп аталады. (Өнім міндетті түрде ақырлы, өйткені шексіз өнімдер анықталмаған сақина теориясы. Мұндай өнімге фактор ретінде бірнеше рет бірдей азайтылмайтын элементті тартуға рұқсат етіледі.) Кез келген осындай өрнек факторизация деп аталады х.

Ерекше жағдайлар

Атомдық доменде бір элементтің әр түрлі факторизациясы болуы мүмкін х әр түрлі ұзындыққа ие Факторизацияның арасында болуы мүмкін х төмендетілмейтін факторлар санында шек жоқ. Егер керісінше факторлардың саны нөлдік емес біртұтас үшін шектелген болса х, содан кейін R Бұл шектелген факторизация домені (BFD); формальды түрде бұл әрқайсысы үшін дегенді білдіреді х бүтін сан бар N осындай х = х1 х2 ... хn бірде-бірімен хмен аударылатын дегенді білдіреді .

Егер мұндай шек болса, онда тиісті бөлгіштер тізбегі болмайды х 1-ден осы ұзындықтың шегінен асып кетуі мүмкін (өйткені әрбір қадамдағы координатаны факторизациялауға болатындығын ескеруге болады) х тізбектің әр сатысы үшін кем дегенде бір төмендетілмейтін фактормен), сондықтан негізгі идеалдардың шексіз көтерілетін тізбегі болуы мүмкін емес R. Бұл принцип негізгі идеалдарға немесе ACCP-ге көтерілу тізбегінің шарты деп аталады, бұл BFD шартына қарағанда әлдеқайда әлсіз және атомдық жағдайға қарағанда әлдеқайда күшті (басқаша айтқанда, тиісті бөлгіштердің шексіз тізбектері болса да, х ақырғы факторизацияға ие[3]).

Екі тәуелсіз шарт, олар екеуі де BFD шарттарынан анағұрлым күшті жартылай факторлық домен жағдай (HFD: кез келген берілгеннің кез-келген екі факторизациясы х ұзындығы бірдей), және ақырғы факторизация домені жағдай (FFD: кез келген х бар, бірақ шектеулі емесқауымдастық бөлгіштер). Кез-келген бірегей факторизация домені бұл екі шартты қанағаттандыратыны анық, бірақ бірегей факторизацияны білдірмейді.

Әдебиеттер тізімі

  1. ^ П.М. Кон, Безут сақиналары және олардың қосалқы белгілері; Proc. Camb. Фил. Док. 64 (1968) 251–264
  2. ^ A. Граммалар, атом сақиналары және негізгі идеалдардың өсу тізбегі шарты. Proc. Кембридж философиясы. Soc. 75 (1974), 321-329.
  3. ^ Д.Д.Андерсон, Д.Ф.Андерсон, М.Зафрулла, Интегралды домендердегі факторизация; Дж. Таза және қолданбалы алгебра 69 (1990) 1–19