主題
Search

Artin 對映


K 為一個 數域L 為一個 阿貝爾擴張,然後形成一個素除子 m,該素除子被擴張 L/K 的所有分歧素數整除。現在定義一個從與 m 互素的分式理想到 phi_(L/K)伽羅瓦群 L/K 的對映,該對映將一個理想 a 傳送到 ((L/K),a)。這個對映被稱為 Artin 對映。它的重要性在於核,Artin 互反律 指出該核包含所有僅由在擴張 L/K 中完全分裂的素陣列成的分式理想。

這就是它成為互反律的原因。現在可以計算素數的慣性次數,因為最小的指數 f,使得 p^f 屬於這個核(這正是慣性次數),現在已知。現在因為 p 是未分歧的,並且 L/K 是伽羅瓦擴張,n=f·g,其中 f 是慣性次數,gp 擴充套件到 L 時分裂成的因子的數量。因此,完全已知 p 在擴充套件到 L 時的行為。

這與二次互反律完全類似,因為它也確定了未分歧的素數 p 何時分裂(f=1g=2)或何時是惰性的(f=2g=1)。當然,二次互反律要簡單得多,因為在這種情況下只有兩種可能性。

希爾伯特類域 的特殊情況下,這個核與擴張的普通類群重合。


參見

Artin 符號, 類域, 類域論, 希爾伯特類域

此條目由 Dirk Trappers 貢獻

用 探索

參考文獻

Cox, D. A. x2+ny2 形式的素數:費馬、類域論和複數乘法。 New York: Wiley, 1997.

在 上引用

Artin 對映

引用為

Trappers, Dirk. "Artin 對映." 來自 Web 資源,由 Eric W. Weisstein 建立. https://mathworld.tw/ArtinMap.html

主題分類