P-adic numarası - P-adic number

3 adic tamsayılar, üzerlerinde seçilen karşılık gelen karakterlerle Pontryagin ikili grup

İçinde matematik, p-adic sayı sistemi herhangi asal sayı  p sıradanlığı genişletiyor aritmetik of rasyonel sayılar rasyonel olanın uzantısından farklı bir şekilde sayı sistemi için gerçek ve karmaşık sayı sistemleri. Uzatma, "yakınlık" kavramının alternatif bir yorumuyla elde edilir veya mutlak değer. Özellikle iki p-adik sayılar, farkları yüksek bir kuvvetle bölündüğünde yakın olarak kabul edilir. p: güç ne kadar yüksekse, o kadar yakındır. Bu özellik şunları sağlar: p- kodlanacakadik sayılar uyum güçlü uygulamalara sahip olduğu ortaya çıkan bir şekilde bilgi sayı teorisi - örneğin ünlü kanıt nın-nin Fermat'ın Son Teoremi tarafından Andrew Wiles.^[1]

Bu sayılar ilk olarak Kurt Hensel 1897'de^[2] Geriye dönüp bakıldığında, bazıları Ernst Kummer's Daha önceki çalışmalar örtük olarak kullanılarak yorumlanabilir p-adic sayılar.^{[not 1]} p-adic sayılar, öncelikle, fikir ve tekniklerini getirme çabasıyla motive edildi. güç serisi yöntemler sayı teorisi. Etkileri artık bunun çok ötesine uzanıyor. Örneğin, alanı p-adik analiz esasen alternatif bir biçim sağlar hesap.

Cebirsel yapı → Halka teorisi Halka teorisi
Temel konseptler Yüzükler • Subrings • İdeal • Bölüm halkası • Kesirli ideal • Toplam bölüm halkası • Ürün halkası • Birleşimli cebirlerin ücretsiz ürünü • Halkaların tensör ürünü Halka homomorfizmleri • Çekirdek • İç otomorfizm • Frobenius endomorfizmi Cebirsel yapılar • Modül • İlişkisel cebir • Kademeli yüzük • Involutive yüzük • Yüzüklerin kategorisi • İlk yüzük ${ displaystyle mathbb {Z}}$ • Terminal halkası ${ displaystyle 0 = mathbb {Z} _ {1}}$ İlgili yapılar • Alan • Sonlu alan • İlişkisel olmayan halka • Yalan halkası • Jordan yüzük • Yarılanma • Yarı alan
Değişmeli cebir Değişmeli halkalar • İntegral alan • Tümleşik olarak kapalı alan • GCD alanı • Benzersiz çarpanlara ayırma alanı • Temel ideal alan • Öklid alanı • Alan • Sonlu alan • Kompozisyon halkası • Polinom halka • Biçimsel güç serisi yüzük Cebirsel sayı teorisi • Cebirsel sayı alanı • Tamsayılar halkası • Cebirsel bağımsızlık • Aşkın sayı teorisi • Aşkınlık derecesi p-adic sayı teorisi ve ondalık sayılar • Doğrudan sınır /Ters limit • Sıfır yüzük ${ displaystyle mathbb {Z} _ {1}}$ • Tamsayılar modulo pn ${ displaystyle mathbb {Z} / p ^ {n} mathbb {Z}}$ • Prüfer p-yüzük ${ displaystyle mathbb {Z} (p ^ { infty})}$ • Baz -p daire yüzük ${ displaystyle mathbb {T}}$ • Baz -p tamsayılar ${ displaystyle mathbb {Z}}$ • p-adic rasyonel ${ displaystyle mathbb {Z} [1 / p]}$ • Baz -p gerçek sayılar ${ displaystyle mathbb {R}}$ • p-adic tamsayılar ${ displaystyle mathbb {Z} _ {p}}$ • p-adic sayılar ${ displaystyle mathbb {Q} _ {p}}$ • p-adik solenoid ${ displaystyle mathbb {T} _ {p}}$ Cebirsel geometri • Afin çeşitliliği
Değişmeli olmayan cebir Değişmeyen halkalar • Bölüm halkası • Yarı ilkel halka • Basit yüzük • Komütatör Değişmeli olmayan cebirsel geometri Ücretsiz cebir Clifford cebiri • Geometrik cebir Operatör cebiri

Daha resmi olarak, belirli bir asal içinp, alan Q_p nın-nin p-adic sayılar bir tamamlama of rasyonel sayılar. Alan Q_p ayrıca verilir topoloji bir metrik kendisi de p-adic düzen, bir alternatif değerleme rasyonel sayılarda. Bu metrik uzay tamamlayınız anlamında her Cauchy dizisi bir noktaya yakınsar Q_p. Analizin gelişmesine izin veren şey budur. Q_pve bu analitiğin etkileşimidir ve cebirsel veren yapı p-adic sayı sistemleri güç ve faydaları.

p içinde "p-adic "bir değişken ve bir asal (örneğin, "2 adic sayılar" verir) veya başka bir ile değiştirilebilir yer tutucu değişken ("ℓ-adik sayılar" gibi ifadeler için). "Adic" inp-adic "gibi kelimelerde bulunan sondan gelir ikili veya üçlü.

Giriş

Bu bölüm, resmi olmayan bir giriştir. p-adik sayılar, 10-adik (onluk) sayıların halkasından örnekler kullanarak. Rağmen p-adic sayılar p asal olmalı, ondalık sayılarla benzetmeyi vurgulamak için 10 tabanı seçildi. Onluk sayılar genellikle matematikte kullanılmaz: 10 asal olmadığından asal güç, dekadikler bir alan değil. Daha resmi yapılar ve özellikler aşağıda verilmiştir.

Standartta ondalık gösterim, Neredeyse hepsi^{[not 2]} gerçek sayılar sonlandırıcı bir ondalık gösterime sahip değildir. Örneğin, 1/3, bir sona ermeyen ondalık aşağıdaki gibi

${ displaystyle { frac {1} {3}} = 0,33333 ldots.}$

Gayri resmi olarak, sonlandırmayan ondalık sayılar kolayca anlaşılabilir, çünkü gerçek bir sayının gerekli herhangi bir dereceye yaklaştırılabileceği açıktır. hassas biten bir ondalık sayı ile. İki ondalık genişletme yalnızca 10. ondalık basamaktan sonra farklılık gösteriyorsa, bunlar birbirine oldukça yakındır; ve yalnızca 20. ondalık basamaktan sonra farklılık gösterirlerse, daha da yakındırlar.

10 adic sayılar benzer bir sonlandırıcı olmayan genişletme kullanır, ancak farklı bir "yakınlık" kavramı ile. Oysa iki ondalık aralarındaki fark büyükse genişlemeler birbirine yakındır. olumsuz 10'un gücü, iki 10-adik aralarındaki fark büyükse genişlemeler yakındır pozitif 10'un gücü, 4739 ve 5739, 10 ile farklılık gösterir.³, 10 adic dünyada yakın ve 72694473 ile 82694473 daha da yakın, 10 farkla⁷.

Daha doğrusu, her pozitif rasyonel sayır benzersiz bir şekilde ifade edilebilir r =: a/b·10^d, nerede a ve b pozitif tam sayılardır ve gcd (a,b) = 1, gcd (b, 10) = 1, gcd (a,10)<10. Bırak 10-adik "mutlak değer"^{[not 3]} nın-ninr olmak

${ displaystyle | r | _ {10}: = | 10 ^ {d} | _ {10} = { frac {1} {10 ^ {d}}}}$ .

Ek olarak, tanımlarız

${ displaystyle | 0 | _ {10}: = 0}$ .

Şimdi alıyor a/b = 1 ve d = 0,1,2,... sahibiz

|10⁰|₁₀ = 10⁰, |10¹|₁₀ = 10⁻¹, |10²|₁₀ = 10⁻², ...,

sonuç olarak sahip olduğumuz

${ displaystyle lim _ {d rightarrow + infty} | 10 ^ {d} | _ {10} = 0}$ .

Herhangi bir sayı sistemindeki yakınlık, bir metrik. 10 adic metriği kullanarak sayılar arasındaki mesafeyi x ve y tarafından verilir |x − y|₁₀. 10 adic metriğin (veya bir p-adic metrik) artık negatif işaretine ihtiyaç olmamasıdır. (Aslında yok sipariş ilişkisi ile uyumlu olan halka işlemleri ve bu ölçü.) Örnek olarak, aşağıdaki diziyi inceleyerek, işaretsiz 10-adiklerin aşamalı olarak how1 sayısına nasıl yaklaştığını görebiliriz:

${ displaystyle 9 = -1 + 10}$ yani ${ displaystyle | 9 - (- 1) | _ {10} = { frac {1} {10}}}$.

${ displaystyle 99 = -1 + 10 ^ {2}}$ yani ${ displaystyle | 99 - (- 1) | _ {10} = { frac {1} {100}}}$.

${ displaystyle 999 = -1 + 10 ^ {3}}$ yani ${ displaystyle | 999 - (- 1) | _ {10} = { frac {1} {1000}}}$.

${ displaystyle 9999 = -1 + 10 ^ {4}}$ yani ${ displaystyle | 9999 - (- 1) | _ {10} = { frac {1} {10000}}}$.

ve bu diziyi sınırına götürürsek, −1'in 10 adik genişlemesini çıkarabiliriz.

${ displaystyle | nokta 9999 - (- 1) | _ {10} = 0}$ ,

Böylece

${ displaystyle nokta 9999 = -1}$ ,

açıkça bir genişleme on tamamlayıcı temsil.

Bu gösterimde, sonsuza kadar sağa uzatılabilen ondalık genişletmelerin tersine, 10 adic genişletmeler sonsuza kadar sola doğru genişletilebilir. Bunun yazmanın tek yolu olmadığını unutmayın p-adic sayılar - alternatifler için bkz. Gösterim aşağıdaki bölüm.

Daha resmi olarak 10 adik bir sayı şu şekilde tanımlanabilir:

${ displaystyle toplamı _ {i = n} ^ { infty} a_ {i} 10 ^ {i}}$

nerede a_ben bir hane {0, 1, ..., 9} kümesinden ve ilk dizinden alınmıştır n pozitif, negatif veya 0 olabilir, ancak sonlu olmalıdır. Bu tanımdan, pozitif tam sayıların ve pozitif rasyonel sayılar sonlandıran ondalık genişletmeler, ondalık genişletmeleriyle aynı olan 10 adik genişletmeleri sonlandırır. Diğer sayılar, sonlandırıcı olmayan 10 adik genişletmelere sahip olabilir.

10 adik sayılarda toplama, çıkarma ve çarpma işlemlerini tutarlı bir şekilde tanımlamak mümkündür, böylece 10 adik sayılar bir değişmeli halka.

"Negatif" sayılar için 10 adic genişletmeler oluşturabiliriz^{[not 4]} aşağıdaki gibi

${ displaystyle -100 = -1 times 100 = nokta 9999 times 100 = nokta 9900}$

${ displaystyle Rightarrow -35 = -100 + 65 = nokta 9900 + 65 = nokta 9965}$

${ displaystyle Rightarrow - sol (3 + { dfrac {1} {2}} sağ) = { dfrac {-35} {10}} = { dfrac { dots 9965} {10}} = nokta 9996,5}$

ve sonlandırıcı olmayan ondalık genişlemeleri olan kesirler de sonlandırmayan 10 adik genişlemelere sahiptir. Örneğin

${ displaystyle { dfrac {10 ^ {6} -1} {7}} = 142857; qquad { dfrac {10 ^ {12} -1} {7}} = 142857142857; qquad { dfrac {10 ^ {18} -1} {7}} = 142857142857142857}$

${ displaystyle Rightarrow - { dfrac {1} {7}} = nokta 142857142857142857}$

${ displaystyle Rightarrow - { dfrac {6} {7}} = dots 142857142857142857 times 6 = dots 857142857142857142}$

${ displaystyle Rightarrow { dfrac {1} {7}} = - { dfrac {6} {7}} + 1 = dots 857142857142857143 = { overline {285714}} 3.}$

Son örneği genelleştirerek, herhangi bir rasyonel sayı için ondalık ayırıcının sağında basamak olmayan 10 adik bir genişletme bulabiliriz. a/b öyle ki b eş-üssü 10; Euler teoremi garanti eder eğer b eş üssü 10 ise, o zaman bir n öyle ki 10ⁿ − 1 katlarıb. Diğer rasyonel sayılar, ondalık noktadan sonra bazı rakamlar ile 10 adik sayılar olarak ifade edilebilir.

Yukarıda belirtildiği gibi, 10'lu sayıların büyük bir dezavantajı vardır. Ürünü 0 olan sıfır olmayan 10 adik sayı çiftlerini (rasyonel olmayan, dolayısıyla sonsuz sayıda basamağa sahip olan) bulmak mümkündür.^{[3][not 5]} Bu, 10-adic sayıların her zaman çarpımsal terslere, yani geçerli karşılıklılara sahip olmadığı anlamına gelir; bu da, 10-adik sayıların bir halka oluşturmasına rağmen bir halka oluşturmadıkları anlamına gelir. alan, onları analitik bir araç olarak daha az kullanışlı hale getiren bir eksiklik. Bunu söylemenin bir başka yolu da, 10-adik sayıların halkasının bir integral alan çünkü içerirler sıfır bölen.^{[not 5]} Bu özelliğin nedeni, 10'un bir bileşik sayı hangisi bir bir asalın gücü. Bu problem, bir asal sayı kullanılarak basitçe önlenir p veya asal bir güç pⁿ olarak temel sayı sisteminin 10 yerine ve aslında bu nedenle p içinde p-adic genellikle asal olarak alınır.

kesir	orijinal ondalık gösterim	10-adic gösterim	kesir	orijinal ondalık gösterim	10-adic gösterim	kesir	orijinal ondalık gösterim	10-adic gösterim
${ displaystyle { frac {1} {2}}}$	0.5	0.5	${ displaystyle { frac {5} {7}}}$	0.714285	4285715	${ displaystyle { frac {9} {10}}}$	0.9	0.9
${ displaystyle { frac {1} {3}}}$	0.3	67	${ displaystyle { frac {6} {7}}}$	0.857142	7142858	${ displaystyle { frac {1} {11}}}$	0.09	091
${ displaystyle { frac {2} {3}}}$	0.6	34	${ displaystyle { frac {1} {8}}}$	0.125	0.125	${ displaystyle { frac {2} {11}}}$	0.18	182
${ displaystyle { frac {1} {4}}}$	0.25	0.25	${ displaystyle { frac {3} {8}}}$	0.375	0.375	${ displaystyle { frac {3} {11}}}$	0.27	273
${ displaystyle { frac {3} {4}}}$	0.75	0.75	${ displaystyle { frac {5} {8}}}$	0.625	0.625	${ displaystyle { frac {4} {11}}}$	0.36	364
${ displaystyle { frac {1} {5}}}$	0.2	0.2	${ displaystyle { frac {7} {8}}}$	0.875	0.875	${ displaystyle { frac {5} {11}}}$	0.45	455
${ displaystyle { frac {2} {5}}}$	0.4	0.4	${ displaystyle { frac {1} {9}}}$	0.1	89	${ displaystyle { frac {6} {11}}}$	0.54	546
${ displaystyle { frac {3} {5}}}$	0.6	0.6	${ displaystyle { frac {2} {9}}}$	0.2	78	${ displaystyle { frac {7} {11}}}$	0.63	637
${ displaystyle { frac {4} {5}}}$	0.8	0.8	${ displaystyle { frac {4} {9}}}$	0.4	56	${ displaystyle { frac {8} {11}}}$	0.72	728
${ displaystyle { frac {1} {6}}}$	0.16	3.5	${ displaystyle { frac {5} {9}}}$	0.5	45	${ displaystyle { frac {9} {11}}}$	0.81	819
${ displaystyle { frac {5} {6}}}$	0.83	67.5	${ displaystyle { frac {7} {9}}}$	0.7	23	${ displaystyle { frac {10} {11}}}$	0.90	0910
${ displaystyle { frac {1} {7}}}$	0.142857	2857143	${ displaystyle { frac {8} {9}}}$	0.8	12	${ displaystyle { frac {1} {12}}}$	0.083	6.75
${ displaystyle { frac {2} {7}}}$	0.285714	5714286	${ displaystyle { frac {1} {10}}}$	0.1	0.1	${ displaystyle { frac {5} {12}}}$	0.416	3.75
${ displaystyle { frac {3} {7}}}$	0.428571	8571429	${ displaystyle { frac {3} {10}}}$	0.3	0.3	${ displaystyle { frac {7} {12}}}$	0.583	67.25
${ displaystyle { frac {4} {7}}}$	0.571428	1428572	${ displaystyle { frac {7} {10}}}$	0.7	0.7	${ displaystyle { frac {11} {12}}}$	0.916	34.25

p-adic genişletmeler

Bu makale için ek alıntılara ihtiyaç var doğrulama. Lütfen yardım et bu makaleyi geliştir tarafından güvenilir kaynaklara alıntılar eklemek. Kaynaksız materyale itiraz edilebilir ve kaldırılabilir. Kaynakları bulun: "P-adic numarası"  – Haberler  · gazeteler  · kitabın  · akademisyen  · JSTOR (Şubat 2019) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Doğal sayılarla uğraşırken, eğer p sabit bir asal sayı olarak alınır, sonra herhangi bir pozitif tamsayı temel olarak yazılabilirp formda genişleme

${ displaystyle toplam _ {i = 0} ^ {n} a_ {i} p ^ {i}}$

nerede a_ben tam sayılar {0, ...,p − 1}.^[4] Örneğin, ikili 35'in genişlemesi 1 · 2'dir⁵ + 0·2⁴ + 0·2³ + 0·2² + 1·2¹ + 1·2⁰, genellikle 100011 kısaltmasıyla yazılır₂.

Bu tanımlamayı rasyonellerin daha geniş alanına genişletmek için tanıdık yaklaşım^[5][6] (ve nihayetinde gerçeklere göre) formun toplamlarını kullanmaktır:

${ displaystyle pm toplam _ {i = - infty} ^ {n} a_ {i} p ^ {i}.}$

Bu meblağlara dayalı olarak belirli bir anlam verilmiştir. Cauchy dizileri, kullanmak mutlak değer metrik olarak. Bu nedenle, örneğin 1/3, 0.1313131313 ... dizisinin limiti olarak 5 bazında ifade edilebilir.₅. Bu formülasyonda, tam sayılar tam olarak a_ben = Tümü için 0 ben < 0.

İle p-adic sayılar, diğer yandan, tabanı genişletmeyi seçiyoruzp genişlemeler farklı bir şekilde. Geleneksel tam sayılardan farklı olarak, büyüklük sıfırdan ne kadar uzakta olduklarına göre belirlenir, "boyut" p-adic sayılar tarafından belirlenir p-adic mutlak değer yüksek pozitif güçlerin olduğu p yüksek negatif güçlere kıyasla nispeten küçüktür. p.

Formun sonsuz toplamlarını düşünün:

${ displaystyle toplam _ {i = k} ^ { infty} a_ {i} p ^ {i}}$

nerede k bazı (pozitif olması gerekmez) tam sayıdır ve her katsayı ${ displaystyle a_ {i}}$ öyle bir tamsayıdır ki 0 ≤ a_ben < p, buna bir p-adik rakam.^[7] Bu tanımlıyor p-adic genişletmeler of p-adic sayılar. Şunlar p-adic sayılar a_ben = Tümü için 0 ben <0 aynı zamanda p-adic tamsayılarve bir alt kümesini oluşturur p-adic sayılar genellikle gösterilir ${ displaystyle mathbb {Z} _ {p}.}$

Gerçek sayı genişletmelerinin tersine, sağ tabanın giderek küçülen, negatif güçlerinin toplamı olarak p, p-adic sayılar, ayrıldı sonsuza kadar, çoğu zaman doğru olabilecek bir özellik p-adic tamsayılar. Örneğin, p-base 5'de 1 / 3'lükadik genişleme. Gösterilebilir ... 1313132₅yani dizinin sınırı 2₅, 32₅, 132₅, 3132₅, 13132₅, 313132₅, 1313132₅, ... :

${ displaystyle { dfrac {5 ^ {2} -1} {3}} = { dfrac {44_ {5}} {3}} = 13_ {5}; , { dfrac {5 ^ {4} -1} {3}} = { dfrac {4444_ {5}} {3}} = 1313_ {5}}$

${ displaystyle Rightarrow - { dfrac {1} {3}} = nokta 1313_ {5}}$

${ displaystyle Rightarrow - { dfrac {2} {3}} = nokta 1313_ {5} times 2 = nokta 3131_ {5}}$

${ displaystyle Rightarrow { dfrac {1} {3}} = - { dfrac {2} {3}} + 1 = dots 3132_ {5}.}$

Bu sonsuz toplamı 5 tabanında 3 ile çarparsak ... 0000001 verir.₅. 1 / 3'lük bu açılımda 5'in negatif üsleri olmadığından (yani, ondalık noktanın sağında sayı olmadığından), 1 / 3'ün a olma tanımını karşıladığını görüyoruz. p5 tabanındaki -adic tamsayı.

Daha resmi olarak, p-adic genişletmeler, alan Q_p nın-nin p-adic sayılar iken p-adic tamsayılar oluşturur alt halka nın-nin Q_p, belirtilen Z_p. (İle karıştırılmamalıdır tamsayılar halkası modulop bu da bazen yazılır Z_p. Belirsizliği önlemek için, Z/pZ veya Z/(p) genellikle modulo tam sayılarını temsil etmek için kullanılırp.)

Yukarıdaki yaklaşımı tanımlamak için kullanmak mümkün olsa da p-adic sayılar ve özelliklerini araştırın, tıpkı gerçek sayılarda olduğu gibi, genellikle diğer yaklaşımlar tercih edilir. Bu nedenle, bu ifadeleri anlamlı kılan bir sonsuz toplam kavramı tanımlamak istiyoruz ve bu en kolay şekilde, p-adic metrik. Bu soruna iki farklı ama eşdeğer çözüm, İnşaatlar aşağıdaki bölüm.

Gösterim

Yazmak için birkaç farklı kural var p-adic genişletmeler. Şimdiye kadar bu makale için bir gösterim kullanıldı p-adic açılımları güçler nın-ninp sağdan sola doğru artar. Bu sağdan sola gösterimle, 3 adik açılımı¹⁄₅, örneğin şöyle yazılır

${ displaystyle { dfrac {1} {5}} = noktalar 121012102_ {3}.}$

Bu gösterimde aritmetik gerçekleştirirken, rakamlar taşınan Sola. Yazmak da mümkün p-adic açılımları, böylece güçleri p soldan sağa doğru artar ve rakamlar sağa taşınır. Bu soldan sağa gösterimle, 3 adik açılımı¹⁄₅ dır-dir

${ displaystyle { dfrac {1} {5}} = 2.01210121 dots _ {3} { mbox {veya}} { dfrac {1} {15}} = 20.1210121 dots _ {3}.}$

p-adic açılımları ile yazılabilir diğer rakam grupları {0, 1, ... yerinep − 1}. Örneğin, 3 adic genişlemesi ¹/₅ kullanılarak yazılabilir dengeli üçlü rakamlar {1, 0,1} as

${ displaystyle { dfrac {1} {5}} = dots { underline {1}} 11 { underline {11}} 11 { underline {11}} 11 { underline {1}} _ { kısa mesaj {bal3}}.}$

Aslında herhangi bir set p farklı kalıntı sınıflarında bulunan tam sayılar modulo p olarak kullanılabilir p-adic rakamlar. Sayı teorisinde, Teichmüller temsilcileri bazen rakam olarak kullanılır.^[8]

İnşaatlar

Analitik yaklaşım

İçin benzer resim p = 3 (büyütmek için tıklayın) 1/3 yarıçaplı üç kapalı küre gösterir, burada her biri 1/9 yarıçaplı 3 küreden oluşur

gerçek sayılar olarak tanımlanabilir denklik sınıfları nın-nin Cauchy dizileri nın-nin rasyonel sayılar; bu, örneğin 1'i 1.000 olarak yazmamızı sağlar ... = 0.999... . Bir Cauchy dizisinin tanımı, metrik seçiliyse de, eğer farklı bir tane seçersek, gerçek sayılardan farklı sayılar oluşturabiliriz. Gerçek sayıları veren olağan metriğe, Öklid metriği.

Belirli bir asal içinp, biz tanımlıyoruz p -adic mutlak değer içinde Q aşağıdaki gibi: sıfır olmayan herhangi bir rasyonel sayı içinxbenzersiz bir tamsayı varn yazmamıza izin veriyor x = pⁿ(a/b)tam sayıların hiçbiri a ve b dır-dir bölünebilir tarafındanp. Payı veya paydası olmadığı sürecex en düşük terimlerle şunları içerir p faktör olarak n 0 olacak. Şimdi tanımlayın |x|_p = p⁻ⁿ. Biz de tanımlıyoruz |0|_p = 0.

Örneğin x = 63/550 = 2⁻¹·3²·5⁻²·7·11⁻¹

${ displaystyle { başla {hizalı} & | x | _ {2} = 2 [6pt] & | x | _ {3} = 1/9 [6pt] & | x | _ {5} = 25 [6pt] & | x | _ {7} = 1/7 [6pt] & | x | _ {11} = 11 [6pt] & | x | _ { text {diğer asal }} = 1. end {hizalı}}}$

Bu tanımı |x|_p yüksek güçlerin etkisine sahiptirp "küçük" hale getirin. aritmetiğin temel teoremi, belirli bir sıfır olmayan rasyonel sayı için x benzersiz sonlu bir dizi farklı asal var ${ displaystyle p_ {1}, ldots, p_ {r}}$ ve karşılık gelen sıfır olmayan tamsayı dizisi ${ displaystyle a_ {1}, ldots, a_ {r}}$ öyle ki:

${ displaystyle | x | = p_ {1} ^ {a_ {1}} ldots p_ {r} ^ {a_ {r}}.}$

Daha sonra bunu takip eder ${ displaystyle | x | _ {p_ {i}} = p_ {i} ^ {- a_ {i}}}$ hepsi için ${ displaystyle 1 leq i leq r}$, ve ${ displaystyle | x | _ {p} = 1}$ herhangi bir başka asal için ${ displaystyle p notin {p_ {1}, ldots, p_ {r} }.}$

p-adic mutlak değer bir metrik d tanımlar_p açık Q ayarlayarak

${ displaystyle d_ {p} (x, y) = | x-y | _ {p}}$

Alan Q_p nın-nin p-adic sayılar daha sonra şu şekilde tanımlanabilir: tamamlama metrik uzayın (Q, d_p); elemanları, Cauchy dizilerinin eşdeğerlik sınıflarıdır; burada, farkları sıfıra yakınsarsa iki dizi eşdeğer olarak adlandırılır. Bu şekilde, aynı zamanda bir alan olan ve içeren tam bir metrik uzay elde ederiz. Q. Bu mutlak değerle, alan Q_p bir yerel alan.

Gösterilebilir ki Q_pher öğe x benzersiz bir şekilde yazılabilir

${ displaystyle toplam _ {i = k} ^ { infty} a_ {i} p ^ {i}}$

nerede k öyle bir tamsayıdır ki a_k ≠ 0 ve her biri a_ben {0, ...,p − 1 }. Bu diziler yakınsak -e x metrik d'ye göre_p. p-adic tamsayılar Z_p nerede elementler k negatif değildir. Sonuç olarak, Q_p izomorfiktir Z[1 / p] + Z_p.^[9]

Ostrowski teoremi her biri mutlak değer açık Q ya Öklid mutlak değerine eşdeğerdir, önemsiz mutlak değer veya şunlardan birine p-bazı asal içinadik mutlak değerlerp. Her mutlak değer (veya metrik), farklı bir Q. (Önemsiz mutlak değerle, Q zaten tamamlandı.)

Cebirsel yaklaşım

Cebirsel yaklaşımda, önce halkayı tanımlarız p-adic tamsayılar ve sonra bu halkanın alanını elde etmek için kesirlerin alanını inşa edin. p-adic sayılar.

İle başlıyoruz ters limit yüzüklerinZ/pⁿZ (görmek Modüler aritmetik ): bir p-adic tamsayı m o zaman bir dizidir(a_n)_n≥1 öyle ki a_n içinde Z/pⁿZ, ve eğer n ≤ l, sonraa_n ≡ a_l (mod pⁿ).

Her doğal sayı m böyle bir diziyi tanımlar (a_n) tarafından a_n ≡ m (mod pⁿ) ve bu nedenle bir p-adic tamsayı. Örneğin, bu durumda 2 adik tamsayı olarak 35, dizi olarak (1, 3, 3, 3, 3, 35, 35, 35, ...) yazılır.

Halkanın operatörleri, bu tür dizilerin noktasal olarak eklenmesini ve çarpılmasını sağlar. Bu iyi tanımlanmıştır, çünkü toplama ve çarpma işlemi "mod"operatör; bkz. Modüler aritmetik.

Üstelik her sekans (a_n)_n≥1 ilk elementle a₁ ≢ 0 (mod p) çarpımsal bir tersi vardır. Bu durumda, her biri için n, a_n ve p vardır coprime, ve bu yüzden a_n ve pⁿ nispeten asaldır. Bu nedenle, her biri a_n tersi var mod pⁿve bu terslerin dizisi, (b_n), aranan tersi (a_n). Örneğin, pdoğal sayı 7'ye karşılık gelenadik tam sayı; 2'li sayı olarak yazılır (1, 3, 7, 7, 7, 7, 7, ...). Bu nesnenin tersi, başlayan (1, 3, 7, 7, 23, 55, 55, 183, 439, 439, 1463 ...) sürekli artan bir dizi olarak yazılacaktır. Doğal olarak, bu 2 adik tamsayının karşılık gelen doğal sayısı yoktur.

Bu tür her sıra, alternatif olarak bir dizi. Örneğin 3-adikte (2, 8, 8, 35, 35, ...) dizisi şu şekilde yazılabilir: 2 + 2·3 + 0·3² + 1·3³ + 0·3⁴ + ... kısmi toplamlar Bu son dizinin elemanları, verilen dizinin elemanlarıdır.

Yüzüğü p-adic tamsayıların sıfır bölenleri yoktur, bu nedenle kesirler alanı alanı almak için Q_p nın-nin p-adic sayılar. Bu kesirler alanında, tam sayı olmayan her p-adic sayı benzersiz şekilde şöyle yazılabilir: p⁻ⁿ sen Birlikte doğal sayı n ve bir birim sen içinde p-adic tamsayılar. Bu şu demek

${ displaystyle mathbf {Q} _ {p} = operatorname {Quot} left ( mathbf {Z} _ {p} sağ) = (p ^ { mathbf {N}}) ^ {- 1} mathbf {Z} _ {p} = mathbf {Z} _ {p} { cup} (p ^ { mathbf {N}}) ^ {- 1} mathbf {Z} _ {p} ^ { zamanlar }.}$

Bunu not et S⁻¹ Bir, nerede ${ displaystyle S = p ^ { mathbf {N}} = {p ^ {n}: n in mathbf {N} }}$ değişmeli bir halkanın (birim ile) çarpımsal bir alt kümesidir (birimi içerir ve çarpma altında kapanır) ${ displaystyle A}$, adı verilen cebirsel bir yapıdır kesirler halkası veya yerelleştirme nın-nin ${ displaystyle A}$ tarafından ${ displaystyle S}$.

Özellikleri

Kardinalite

Z_p ... ters limit sonlu halkaların Z/p^kZ, hangisi sayılamaz^[10]—Aslında, sürekliliğin temel niteliği. Buna göre alan Q_p sayılamaz. endomorfizm halkası of Prüfer p-grup rütbe n, belirtilen Z(p^∞)ⁿyüzüğü n × n matrisler bitti Z_p; bu bazen şu şekilde anılır Tate modülü.

Sayısı p-sonlu adic sayılar p-adic temsiller sayılabilecek kadar sonsuz. Ve eğer standart rakamlar ${ displaystyle {0, ldots, p-1 }}$ alınır, değerleri ve temsili çakışır Z_p ve R.

Topoloji

İkilinin topolojisini gösteren bir şema (veya aslında p-adic) tamsayılar. Her bir küme, diğer kümelerden oluşan açık bir kümedir. En soldaki çeyrekteki (1 içeren) sayıların tümü tek sayılardır. Sağdaki bir sonraki grup, 4'e bölünemeyen çift sayılardır.

Tanımla topoloji açık Z_p olarak alarak temel formun tüm kümeleri

${ displaystyle U_ {a} (n) = sol {n + lambda p ^ {a}: lambda içinde mathbf {Z} _ {p} sağ }.}$

nerede a negatif olmayan bir tam sayıdır ve n [1, p^a]. Örneğin, ikili tam sayılarda, U₁(1) tek sayılar kümesidir. U_a(n) hepsinin kümesidir p-den farkı olan tamsayılar n vardır p-adic mutlak değer küçüktür p^1−a. Sonra Z_p bir kompaktlaştırma nın-nin Z, türetilmiş topoloji altında ( değil bir kompaktlaştırma Z olağan ayrık topolojisi ile). bağıl topoloji açık Z alt kümesi olarak Z_p denir p-adik topoloji açık Z.

Topolojisi Z_p bu bir Kantor seti ${ displaystyle { mathcal {C}}}$.^[11] Örneğin, ikili tamsayılar ile 3 tabanında ifade edilen Cantor kümesi arasında sürekli 1'e 1 eşleme yapabiliriz.

${ displaystyle mathbf {Z} _ {2} ni cdots d_ {2} d_ {1} d_ {0} longmapsto 0.e_ {0} e_ {1} e_ {2} cdots _ {3} { mathcal {C}} içinde,}$

nerede ${ displaystyle e_ {n} = 2d_ {n}.}$

Topolojisi Q_p herhangi bir nokta eksi bir Cantor kümesininki.^{[kaynak belirtilmeli ]} Özellikle, Z_p dır-dir kompakt süre Q_p değil; bu sadece yerel olarak kompakt. Gibi metrik uzaylar, her ikisi de Z_p ve Q_p vardır tamamlayınız.^[12]

Metrik tamamlamalar ve cebirsel kapanışlar

Q_p içerir Q ve bir alanı karakteristik 0. Bu alan bir sıralı alan.

R sadece tek bir hakkı vardır cebirsel uzantı: C; başka bir deyişle, bu ikinci dereceden uzantı zaten cebirsel olarak kapalı. Aksine, cebirsel kapanış nın-nin Q_p, belirtilen ${ displaystyle { overline { mathbf {Q} _ {p}}},}$ sonsuz dereceye sahiptir,^[13] yani, Q_p sonsuz sayıda eşitsiz cebirsel uzantıya sahiptir. Ayrıca, gerçek sayıların durumu ile çelişir, ancak p-adic değerleme ${ displaystyle { overline { mathbf {Q} _ {p}}},}$ ikincisi (metrik olarak) tamamlanmadı.^[14][15] Onun (metrik) tamamlanması denir C_p veya Ω_p.^[15][16] Burada bir sona ulaşılır C_p cebirsel olarak kapalıdır.^[15][17] Ancak aksine C bu alan yerel olarak kompakt değildir.^[16]

C_p ve C halkalar gibi izomorfiktir, bu yüzden C_p gibi C egzotik bir ölçü ile donatılmıştır. Böyle bir alan izomorfizminin varlığının kanıtı, seçim aksiyomu ve böyle bir izomorfizmin açık bir örneğini sağlamaz (yani, yapıcı ).

Eğer K sonlu Galois uzantısı nın-nin Q_p, Galois grubu ${ displaystyle { text {Gal}} sol ( mathbf {K} / mathbf {Q} _ {p} sağ)}$ dır-dir çözülebilir. Böylece Galois grubu ${ displaystyle { text {Gal}} sol ({ overline { mathbf {Q} _ {p}}} / mathbf {Q} _ {p} sağ)}$ dır-dir çözülebilir.

Çarpımsal grup Q_p

Q_p içerir n-nci siklotomik alan (n > 2) ancak ve ancak n | p − 1.^[18] Örneğin, n-th siklotomik alan bir alt alanıdır Q₁₃ ancak ve ancak n = 1, 2, 3, 4, 6veya 12. Özellikle çarpımsal yoktur p-burulma içinde Q_p, Eğer p > 2. Ayrıca, −1 tek önemsiz olmayan burulma elemanıdır Q₂.

Doğal bir sayı verildiğinde kçarpımsal grubun dizini ksıfır olmayan elemanların üsleri Q_p içinde ${ displaystyle mathbf {Q} _ {p} ^ { times}}$ sonludur.

Numara e, karşılıklılarının toplamı olarak tanımlanır faktöriyeller, hiçbirine üye değil p-adik alan; fakat e^p ∈ Q_p (p ≠ 2). İçin p = 2 kişi en az dördüncü kuvveti almalıdır.^[19] (Böylece benzer özelliklere sahip bir sayı e - yani a p-nci kökü e^p - üyesidir ${ displaystyle { overline { mathbf {Q} _ {p}}}}$ hepsi için p.)

Rasyonel aritmetik

Eric Hehner ve Nigel Horspool 1979'da bir p- bilgisayarlarda rasyonel sayılarınadik gösterimi^[20] aranan alıntı notasyonu. Böyle bir temsilin birincil avantajı, toplama, çıkarma ve çarpmanın, ikili tamsayılar için benzer yöntemlere benzer şekilde basit bir şekilde yapılabilmesidir; ve bölme daha da basittir, çarpmaya benzer. Bununla birlikte, temsillerin, pay ve paydayı ikili olarak saklamaktan çok daha büyük olmasının dezavantajı vardır (daha fazla ayrıntı için bkz. Alıntı gösterimi § Boşluk ).

Genellemeler ve ilgili kavramlar

Gerçekler ve p-adik sayılar, rasyonellerin tamamlanmasıdır; diğer alanları doldurmak da mümkündür, örneğin genel cebirsel sayı alanları benzer bir şekilde. Bu şimdi açıklanacak.

Varsayalım D bir Dedekind alanı ve E onun kesirler alanı. Sıfır olmayan bir seçin birincil ideal P nın-nin D. Eğer x sıfır olmayan bir elementtir E, sonra xD bir kesirli ideal sıfır olmayan asal ideallerin pozitif ve negatif güçlerinin bir ürünü olarak benzersiz bir şekilde çarpanlarına ayrılabilir. D. Ord yazıyoruz_P(x) üssü için P bu çarpanlara ayırmada ve herhangi bir sayı seçeneği için c 1'den büyük ayarlayabiliriz

${ displaystyle | x | _ {P} = c ^ {- operatöradı {ord} _ {P} (x)}.}$

Bu mutlak değere göre tamamlanıyor |. |_P bir alan verir E_P, alanının uygun genellemesi p-adic sayılar bu ayara. Un seçimi c tamamlamayı değiştirmez (farklı seçimler aynı Cauchy dizisi konseptini verir, dolayısıyla aynı tamamlama). Ne zaman uygun kalıntı alanı D/P sonlu, almak için c boyutu D/P.

Örneğin, ne zaman E bir sayı alanı, Ostrowski teoremi her önemsiz olmadığını söylüyor Arşimet olmayan mutlak değer açık E bazı olarak ortaya çıkar |. |_P. Kalan önemsiz olmayan mutlak değerler E farklı düğünlerinden doğar E gerçek veya karmaşık sayılara. (Aslında, Arşimet olmayan mutlak değerler, sadece farklı düğünler olarak düşünülebilir. E tarlalara C_p, böylece bir sayı alanının tüm önemsiz olmayan mutlak değerlerinin açıklamasını ortak bir temele koyarak.)

Çoğu zaman, yukarıda belirtilen tüm tamamlamaları eşzamanlı olarak takip etmek gerekir. E bir sayı alanıdır (veya daha genel olarak bir küresel alan ), "yerel" bilgileri kodlama olarak görülür. Bu, adele yüzükler ve idele grupları.

p-adic tamsayılar şu şekilde genişletilebilir: p-adik solenoidler ${ displaystyle mathbb {T} _ {p}}$ tıpkı tam sayıların gerçek sayılara genişletilebilmesi gibi direkt ürün of daire yüzük ${ displaystyle mathbb {T}}$ ve p-adic tamsayılar ${ displaystyle mathbb {Z} _ {p}}$

Yerel-küresel ilke

Helmut Hasse 's yerel-küresel ilke rasyonel sayılar üzerinden çözülebilirse bir denklem için geçerli olduğu söylenir ancak ve ancak üzerinden çözülebilir gerçek sayılar ve üzerinde pher asal için -adic sayılarp. Bu ilke, örneğin, aşağıdaki denklemler için geçerlidir: ikinci dereceden formlar, ancak daha yüksek polinomlar için birkaç belirsizlikte başarısız olur.

Ayrıca bakınız

Dipnotlar

Notlar

Alıntılar

Referanslar

daha fazla okuma

Dış bağlantılar

• Weisstein, Eric W. "p-adic Numarası". MathWorld.
• "p-adic tam sayılar". PlanetMath.
• p-adic sayı -de Springer On-line Matematik Ansiklopedisi
• Cebirsel Kapanışın Tamamlanması - Brian Conrad'ın hazırladığı çevrimiçi ders notları
• Giriş p-adic Sayılar ve p-adic Analiz - Andrew Baker'ın çevrimiçi ders notları, 2007
• Etkili p-adik aritmetik (slaytlar)
• P-adic sayılara giriş