Atom domeni - Atomic domain - Wikipedia

Yilda matematika, aniqrog'i halqa nazariyasi, an atom domeni yoki faktorizatsiya domeni bu ajralmas domen unda har bir nolga teng bo'lmagan birlik bo'lmagan ning cheklangan mahsuloti sifatida kamida bitta usulda yozilishi mumkin kamaytirilmaydigan elementlar. Atom domenlari boshqacha noyob faktorizatsiya domenlari chunki bu elementning kamayib bo'lmaydigan narsalarga ajralishi noyob bo'lmasligi kerak; boshqacha aytganda, kamaytirilmaydigan element shart emas a asosiy element.

Atom domenlarining muhim misollariga barcha noyob faktorizatsiya domenlari va barchasi sinflari kiradi Noetherian domenlari. Umuman olganda, qoniqtiradigan har qanday ajralmas domen asosiy ideallarga ko'tarilish zanjiri holati (ya'ni ACCP), atom domeni. Garchi suhbat Konning qog'ozida saqlanayotgan bo'lsa-da,[1] bu yolg'on ekanligi ma'lum.[2]

"Atom" atamasi sababdir P. M. Kon, kim qo'ng'iroq qildi kamaytirilmaydigan element "atom" integral domenining

Motivatsiya

Ushbu bo'limda uzukni shunchaki mavhum to'plam sifatida ko'rish mumkin, unda qo'shish va ko'paytirish amallarini bajarish mumkin; butun sonlarga o'xshash.

Butun sonlarning halqasi (ya'ni qo'shish va ko'paytirishning tabiiy amallari bilan butun sonlar to'plami) ko'plab muhim xususiyatlarni qondiradi. Bunday xususiyatlardan biri arifmetikaning asosiy teoremasi. Shunday qilib, mavhum halqalarni ko'rib chiqishda, bunday teorema qanday sharoitda bo'lishiga tabiiy savol berish kerak. A noyob faktorizatsiya domeni aniq halqadir, unda arifmetikaning asosiy teoremasining analogi mavjud bo'lib, bu savolga tezda javob beriladi. Biroq, arifmetikaning asosiy teoremasining ikki tomoni borligini payqash mumkin; ya'ni har qanday butun sonning sonli hosilasi tub sonlar, shuningdek, ushbu mahsulot qayta tashkil etilishgacha noyobdir (va uni ko'paytirish birliklar ). Shu sababli, uzukning alohida elementlari qanday sharoitda o'ziga xoslikni talab qilmasdan "parchalanishi" mumkinligi haqida so'rash ham tabiiydir. Atom domeni tushunchasi bunga qaratilgan.

Ta'rif

Ruxsat bering R bo'lish ajralmas domen. Agar har bir nol bo'lmagan bo'lsa birlik bo'lmagan x ning R ning mahsuloti sifatida yozilishi mumkin kamaytirilmaydigan elementlar, R atom domeni deb ataladi. (Mahsulot, albatta, cheklangan, chunki cheksiz mahsulotlar ichida aniqlanmagan halqa nazariyasi. Bunday mahsulotga bir xil kamaytirilmaydigan elementni faktor sifatida bir necha bor jalb qilishga ruxsat beriladi.) Har qanday bunday ifoda faktorizatsiya deb ataladi x.

Maxsus holatlar

Atom domenida bitta elementning turli faktorizatsiyalari bo'lishi mumkin x turli uzunliklarga ega. Hatto faktorizatsiya orasida bo'lishi mumkin x kamaytirilmaydigan omillar soniga bog'liqlik yo'q. Agar aksincha, har bir nolga teng bo'lmagan birlik uchun omillar soni chegaralangan bo'lsa x, keyin R a cheklangan faktorizatsiya domeni (BFD); rasmiy ravishda bu har bir kishi uchun degan ma'noni anglatadi x butun son mavjud N shu kabi x = x1 x2 ... xn ning hech biri bilan xmen teskari ma'noni anglatadi .

Agar bunday chegara mavjud bo'lsa, tegishli bo'linuvchilar zanjiri yo'q x dan 1 gacha bo'lgan uzunlik ushbu chegaradan oshib ketishi mumkin (chunki har bir qadamdagi omil faktorizatsiyani keltirib chiqarishi mumkin x zanjirning har bir bosqichi uchun kamida bitta kamaytirilmaydigan omil bilan), shuning uchun asosiy ideallarning cheksiz qat'iy ko'tarilgan zanjiri bo'lishi mumkin emas. R. Asosiy g'oyalar yoki ACCP bo'yicha ko'tarilish zanjiri sharti deb ataladigan bu holat BFD holatidan qat'iyan kuchsizroq va atom holatidan qat'iyan kuchliroq (boshqacha qilib aytganda, tegishli bo'luvchilarning cheksiz zanjirlari mavjud bo'lsa ham, x cheklangan faktorizatsiyaga ega[3]).

Ikkala BFD holatidan qat'iyan kuchli bo'lgan ikkita mustaqil shart yarim faktorli domen holat (HFD: har qanday berilganning istalgan ikkita faktorizatsiyasi x bir xil uzunlikka ega) va cheklangan faktorizatsiya domeni holat (FFD: har qanday x bor, lekin cheklangan sonisherik bo'luvchilar). Har qanday noyob faktorizatsiya sohasi, shubhasiz, ushbu ikki shartni qondiradi, ammo ikkalasi ham noyob faktorizatsiya degani emas.

Adabiyotlar

  1. ^ P.M. Kon, Bezout uzuklari va ularning pastki qismlari; Proc. Camb. Filologiya fanlari doktori 64 (1968) 251-264
  2. ^ A. Gramlar, atom halqalari va asosiy ideallarning ko'tarilish zanjiri sharti. Proc. Kembrij falsafasi. Soc. 75 (1974), 321-329.
  3. ^ D. D. Anderson, D. F. Anderson, M. Zafrulloh, integral domenlarda faktorizatsiya; J. Sof va Amaliy Algebra 69 (1990) 1-19