Számtestek és egészgyűrűk

A számtest a racionális számok véges bővítése, és az egészgyűrűje a szokásos egészek természetes számtani analógja – egy Dedekind-gyűrű, amelyben az ideálok, nem pedig az elemek, faktorizálódnak egyértelműen.

Definition

A számtest a racionális számok véges fokú testbővítése; egészgyűrűje olyan elemekből áll, amelyek egész együtthatós monikus polinomok gyökei, és Dedekind-gyűrűt alkotnak.

Scope

Ez a téma az algebrai számokat és algebrai egészeket, a számtesteket, azok fokszámát és beágyazásait, az egészgyűrűt mint az egészek integrális lezárását a testben, az integrális bázisokat és a test diszkriminánsát, az egészgyűrűk Dedekind-gyűrűként való jellemzését, valamint a nemnulla ideálok egyedi felbontását prímideálokra tárgyalja.

Core questions

• Mely számtestbeli elemek számítanak egészeknek, és miért alkotnak gyűrűt?
• Mi az integrális bázis, és hogyan definiáljuk és számítjuk ki egy számtest diszkriminánsát?
• Milyen tulajdonságok teszik az egészgyűrűt Dedekind-gyűrűvé?
• Hogyan helyettesíti az ideálok egyedi faktorizációja az elemek egyedi faktorizációját?

Key theories

Egészgyűrű és integrális lezárás

Egy számtest algebrai egészei alkotják az egészgyűrűjét, az egészek integrális lezárását a testben; ez egy szabad modul, amelynek rangja megegyezik a test fokszámával, és rendelkezik integrális bázissal.

Dedekind-gyűrűk és ideálok faktorizációja

Az egészgyűrűk Noether-gyűrűk, integrálisan zártak, egydimenziósak – azaz Dedekind-gyűrűk –, és bármely Dedekind-gyűrűben minden nemnulla ideál egyértelműen faktorizálódik prímideálokra.

Diszkrimináns

Az integrális bázis diszkriminánsa a test egész invariánsa, amely detektálja az elágazó prímeket, és Minkowski-féle korláton és Hermite-féle végességi tételen keresztül korlátozza a testet.

Clinical relevance

Az egészgyűrűk és ideálszerkezetük képezik a számtest szita faktorizációs algoritmus és az ideálrács-kriptográfia alapját, ahol az egészgyűrű aritmetikája a nehéz problémák és a hatékony műveletek forrása.

History

Kummer az 1840-es években ciklotomikus egészekkel és ideálszámokkal dolgozott. Dedekind az 1870-es évekbeli Dirichlet-előadások kiegészítéseiben definiálta az egészgyűrűt és az ideál modern fogalmát, bizonyítva az ideálok egyedi faktorizációját és megalapozva az absztrakt elméletet.

Key figures

• Richard Dedekind
• Leopold Kronecker
• Ernst Kummer

Seminal works

• marcus2018

Frequently asked questions

Az egészgyűrű mindig egyedi faktorizációs tartomány?

Nem. Az elemeknek nem feltétlenül kell egyedileg faktorizálódniuk, de a gyűrű mindig Dedekind-gyűrű, így az ideálok igen; a gyűrű pontosan akkor egyedi faktorizációs tartomány, ha az osztályszáma egy.

Mit mond el a diszkrimináns?

A test diszkriminánsa egy egész invariáns, amelynek prímosztói pontosan azok a prímek, amelyek elágaznak a testben, és nagysága korlátozza, hogy mennyire lehet bonyolult a test.