Medan p-adik dan Medan Lokal

Medan p-adik dibangun dengan melengkapi bilangan rasional untuk nilai absolut p-adik; gelanggang bilangan bulat p-adik, medan residu, dan uniformizer menjadikannya contoh model medan lokal, rumah alami aritmetika pada satu bilangan prima.

Definition

Nilai absolut p-adik dari bilangan rasional ditentukan oleh pangkat p yang membaginya. Medan bilangan p-adik adalah kelengkapan bilangan rasional di bawah nilai absolut ini; medan lokal adalah medan yang lengkap sehubungan dengan penilaian diskrit dan memiliki medan residu hingga.

Scope

Topik ini mencakup penilaian p-adik dan nilai absolut, ketaksamaan ultrametrik, klasifikasi nilai absolut Ostrowski pada bilangan rasional, konstruksi bilangan p-adik dan gelanggang bilangan bulat p-adik, ideal maksimal, medan residu, dan uniformizer, deskripsi elemen dengan ekspansi digit p-adik, lemma Hensel untuk mengangkat akar, dan gagasan umum medan lokal sebagai medan bernilai diskrit lengkap dengan medan residu hingga.

Core questions

• Bagaimana nilai absolut p-adik didefinisikan, dan mengapa ia memenuhi ketaksamaan ultrametrik kuat?
• Mengapa teorema Ostrowski menyatakan bahwa ini pada dasarnya adalah satu-satunya nilai absolut pada bilangan rasional selain yang biasa?
• Apa itu bilangan bulat p-adik, dan bagaimana ekspansi digit serta medan residu menggambarkan strukturnya?
• Bagaimana lemma Hensel mengangkat solusi dari medan residu ke medan lokal penuh?

Key theories

Teorema Ostrowski dan kelengkapan

Setiap nilai absolut nontrivial pada bilangan rasional ekuivalen dengan yang biasa atau dengan yang p-adik; melengkapi di bawah masing-masing memberikan bilangan riil atau medan p-adik, menunjukkan semua tempat bilangan rasional.

Struktur bilangan bulat p-adik

Bilangan bulat p-adik membentuk gelanggang lokal kompak dengan ideal maksimal yang dihasilkan oleh p dan medan residu bilangan bulat modulo p; setiap bilangan p-adik memiliki ekspansi basis-p unik yang mungkin tak terbatas ke kanan.

Lemma Hensel

Akar sederhana dari polinomial modulo p terangkat secara unik ke akar dalam bilangan bulat p-adik; ini membuat medan lokal berperilaku seperti pembesaran medan residu yang secara aljabar nyaman.

Clinical relevance

Medan lokal adalah latar untuk teori medan kelas lokal dan untuk komponen lokal representasi automorfik dalam program Langlands; pengangkatan Hensel juga merupakan alat algoritmik dalam faktorisasi polinomial dan dalam komputasi cepat modulo pangkat prima.

History

Hensel memperkenalkan bilangan p-adik pada tahun 1897 untuk mengimpor teknik deret pangkat ke dalam teori bilangan, dan membuktikan lemma pengangkatan yang dinamai menurut namanya. Ostrowski mengklasifikasikan nilai absolut pada bilangan rasional pada tahun 1916, menjelaskan bahwa kelengkapan riil dan p-adik menghabiskan kemungkinan dan mendasari sudut pandang lokal.

Key figures

• Kurt Hensel
• Alexander Ostrowski
• Helmut Hasse

Seminal works

• serre1973
• koblitz1984

Frequently asked questions

Apa itu uniformizer?

Ini adalah generator ideal maksimal dari gelanggang penilaian medan lokal; untuk bilangan p-adik, bilangan prima p itu sendiri berfungsi sebagai uniformizer, dan setiap elemen bukan nol adalah unit dikalikan dengan pangkatnya.

Mengapa bilangan bulat p-adik kompak?

Mereka adalah batas invers dari gelanggang bilangan bulat hingga modulo pangkat p, yang menjadikannya himpunan tertutup dan terbatas dalam metrik p-adik dan karenanya kompak, tidak seperti bilangan bulat biasa.