Atomik alan - Atomic domain - Wikipedia

İçinde matematik, daha spesifik olarak halka teorisi, bir atomik alan veya çarpanlara ayırma alanı bir integral alan sıfır olmayan her birim olmayan en az bir şekilde sonlu bir çarpım olarak yazılabilir indirgenemez elemanlar. Atomik alanlar farklıdır benzersiz çarpanlara ayırma alanları bir elementin indirgenemezlere bu şekilde ayrışmasının benzersiz olması gerekmez; farklı bir şekilde ifade edilirse, indirgenemez bir unsur ille de bir asal eleman.

Atomik alanların önemli örnekleri, tüm benzersiz çarpanlara ayırma alanlarının sınıfını ve tüm Noetherian etki alanları. Daha genel olarak, herhangi bir integral alan temel ideallerde artan zincir koşulu (yani ACCP), atomik bir alandır. Sohbetin Cohn'un makalesinde geçerli olduğu iddia edilse de,[1] bunun yanlış olduğu bilinmektedir.[2]

"Atomik" terimi, P. M. Cohn, kim aradı indirgenemez öğe integral alan bir "atom".

Motivasyon

Bu bölümde bir halka, yalnızca toplama ve çarpma işlemlerinin gerçekleştirilebildiği soyut bir küme olarak görülebilir; tamsayılara benzer.

Tamsayılar halkası (yani, toplama ve çarpmanın doğal işlemleriyle tam sayılar kümesi) birçok önemli özelliği karşılar. Böyle bir özellik, aritmetiğin temel teoremi. Bu nedenle, soyut halkalar düşünüldüğünde, sorulması gereken doğal bir soru, böyle bir teoremin hangi koşullarda geçerli olduğudur. Bir benzersiz çarpanlara ayırma alanı tam olarak aritmetiğin temel teoreminin bir analoğunun geçerli olduğu bir halkadır, bu soru kolayca yanıtlanır. Bununla birlikte, aritmetiğin temel teoreminin iki yönü olduğu fark edilir; yani, herhangi bir tam sayı, sonlu çarpımıdır asal sayılar ve bu ürünün yeniden düzenlenmesine (ve birimleri ). Bu nedenle, bir halkanın belirli elemanlarının hangi koşullar altında benzersizlik gerektirmeden "ayrıştırılabileceğini" sormak da doğaldır. Atomik alan kavramı bunu ele alır.

Tanım

İzin Vermek R fasulye integral alan. Her sıfır olmayan birim olmayan x nın-nin R ürünü olarak yazılabilir indirgenemez elemanlar, R atomik alan olarak adlandırılır. (Ürün zorunlu olarak sonludur, çünkü sonsuz ürünler tanımlanmadı halka teorisi. Böyle bir ürünün aynı indirgenemez öğeyi faktör olarak birden fazla içermesine izin verilir.) Böyle bir ifadeye çarpanlara ayırma denir. x.

Özel durumlar

Atomik bir alanda, aynı elementin farklı çarpanlara ayrılması mümkündür. x farklı uzunluklara sahip. Çarpanlara ayırmalar arasında bile mümkündür x indirgenemez faktörlerin sayısı konusunda bir sınır yoktur. Aksine, sıfır olmayan her birim için faktör sayısı sınırlandırılmışsa x, sonra R bir sınırlı çarpanlara ayırma alanı (BFD); resmi olarak bu, her biri için x bir tam sayı var N öyle ki x = x1 x2 ... xn hiçbiriyle xben tersinir ima eder .

Böyle bir sınır varsa, uygun bölenler zinciri x 1'e kadar bu uzunluk sınırı aşabilir (çünkü her adımdaki bölüm çarpanlarına ayrılabilir ve böylelikle bir çarpanlara ayrılabilir) x zincirin her adımı için en az bir indirgenemez faktör ile), bu nedenle sonsuz, kesinlikle yükselen ana idealler zinciri olamaz. R. Ana ideallerde veya ACCP'de yükselen zincir koşulu olarak adlandırılan bu durum, kesinlikle BFD koşulundan daha zayıf ve atomik koşuldan kesinlikle daha güçlüdür (diğer bir deyişle, sonsuz sayıda doğru bölenler zinciri olsa bile, yine de her biri olabilir. x sonlu bir çarpanlara ayırmaya sahiptir[3]).

Her ikisi de BFD koşulundan kesinlikle daha güçlü olan iki bağımsız koşul, yarı faktörlü alan şart (HFD: verilen herhangi iki çarpanlara ayırma x aynı uzunluktadır) ve sonlu çarpanlara ayırma alanı şart (FFD: hiç x ancak sınırlı sayıda olmayanortak bölenler). Her benzersiz çarpanlara ayırma alanı, açıkça bu iki koşulu karşılar, ancak hiçbiri benzersiz çarpanlara ayırma anlamına gelmez.

Referanslar

  1. ^ P.M. Cohn, Bezout halkaları ve yayları; Proc. Camb. Phil.Soc. 64 (1968) 251–264
  2. ^ A. Gram, Atom halkaları ve temel idealler için yükselen zincir koşulu. Proc. Cambridge Philos. Soc. 75 (1974), 321–329.
  3. ^ D. D. Anderson, D. F. Anderson, M. Zafrullah, İntegral alanlarda çarpanlara ayırma; J. Saf ve Uygulamalı Cebir 69 (1990) 1–19