又稱局部數域,它是數域關於p進絕對值的完備化。p進數域的研究和代數數論的局部化方法,均始於K.亨澤爾1902年的工作。
設p是一個固定的素數,於是每個非零的有理整數α均可惟一地表成p進位形式,即
。如果定義
,而對每個非零有理數
α/
b(
α、
b∈
Z,
b≠0),定義
。函數
稱為
Q的
p進絕對值,它具有如下的性質:|
α|
p=0,當且僅當
α=0;
,由此可知,
是
Q的非阿基米德絕對值,從而
Q關於由
給出的拓撲,是一個豪斯多夫拓撲空間,但不是完備的。它的完備化就是
p進數域,並記為
Q
p。
Q
p中每個非零元素均可惟一表成
,稱之為
p進數,而當
v≥0時,稱之為
p進整數。全體
p進整數形成環,稱為
p進整數環,記作
Z
p,即
。環
Z
p有比較簡單的代數結構,例如,
Z
p有惟一的素理想
pZ
p=
,它也是
Z
p的惟一極大理想,而且(
pZ
p)
n=
p
n
Z
p(
n=0,1,2,…)構成環
Z
p的全部非零理想,從而
Z
p是主理想環,並且商環
。特別地,
Z
p/
pZ
p是
p元域。
Q
p關於
也有比較簡單的拓撲結構:
Q
p是完備的,每個理想
均是
Q
p中又開又閉的加法子群,並且它們形成0的基本鄰域組,從而
Q
p是全不連通的拓撲空間。因此,在研究
Q
p上的數論問題時較之於
Q上有許多更好的工具。
設K是任意代數數域,P為它的整數環OK中任一素理想。對每個非零元素
,均有惟一的
v∈
Z,使得
。定義
,式中
N(P)=|
O
K/P|(有限域
O
K/P的階數),而
。於是函數||
p也具有上述三性質。由此可知,||
p是
K的一個非阿基米德絕對值,從而
K關於||
p也是豪斯多夫拓撲空間,但不是完備的。它的完備化稱為P進數域(或局部數域),記作
K
p。
K
p中存在著
N(P)-1個不同的
N(P)-1次單位根。令
S是這些單位根和0 組成的集合,若取任意一個元素
π∈
K
p,使得
(可取P-
P
2中任一元素為
π),則
K
p中每個元素均可惟一表示成
。當
v≥0時,
α稱為
K
p中的整數,
K
p中全體整數形成環
O
p,稱為
K
p的整數環,於是
。
O
p有惟一的素理想
,它也是
O
p的惟一極大理想,並且
π
n
O
p(
n=0,1,2,…)構成
O
p的全部非零理想,從而
O
p也是主理想環。
O
p/
πO
p是
N(P)元有限域,稱為
K
p的剩餘類域,而
S是此
N(P)元域在
O
p中的一個完全代表系,稱為維特乘性代表系,
π稱為域
K
p的一個素元。每個域
K
p也像
Q
p。那樣有比較簡單的代數結構和拓撲結構。
局部數域Kp的有限次擴張仍是局部數域,於是有局部數域擴張的理論。局部數域有較簡單的代數結構和拓撲結構,而使得局部數域擴張理論較之於代數數域擴張理論要簡單。設l/K是局部數域的擴張,OK和OB分別是它們的整數環,P和B分別是OK和OB的惟一的極大理想,於是P在OB中生成的理想隻能有形式Be,e稱為擴張l/K的分歧指數。另一方面,剩餘類域
,和
均是有限域,而且前者是後者的子域,其擴張次數
稱為擴張
l/
K的剩餘次數,並有
e
f=[
l:
K]。每個局部數域擴張
l/
K均有中間域
M,使得
M/
K是
f次不分歧擴張,而
l/
M是
e次完全分歧擴張。此外,局部數域也有判別式,差積等概念和希爾伯特分歧理論,與代數數域擴張的情形很類似,但是要簡單得多。
假設l/K是代數數域擴張,那麼K中每個素理想P在l中有惟一的素因子分解式 PO,L=
,其中
B
1,
B
2,…
B
g是
l中不同的素理想。令
e
i和
f
i分別為
B
i對於擴張
l/
K的分歧指數和剩餘次數,則
[
l:
K]。另一方面,局部數域
l
是
K
p的擴域,並且
的分歧指數和剩餘次數恰好是
e
i和
f
i,因此,P在
l中的分解情況可由諸局部數域擴張
中的信息得到。此外,還有[
l:
K]=
,意即整體擴張次數是局部擴張諸次數之和。類似地還有
l/
K的判別式是全體局部擴張判別式的乘積,等等。總之,局部數域擴張理論對於代數數域擴張理論這個代數數論的最基本課題的價值在於數域擴張
l/
K的許多性質以某種方式是所有局部數域擴張
lВ/
K
p中類似性質的總和,這也是研究
p進數域的主要意義。
1924年H.哈塞將這種思想成功地運用於二次型的研究之中。例如,設K為代數數域,
是域
K上的二次型(即
)。H.哈塞證明瞭,對於每個元素
,方程
在
K中有解的充分必要條件是此方程在每個局部數域
K
p(P過
K的全部素理想,包括所謂“無限”素理想)中均有解。由於方程在
K
p中的可解性有良好的判別法,將所有
K
p的這些判別法匯集在一起,就得到代數數域中多元二次方程可解性的完整而切實可行的判別法。由於H.哈塞在二次型和其他問題上做瞭許多這類工作,後人就把體現這種思想的數學命題稱為哈塞的局部-整體原則。
采用局部化方法(賦值論和Adèle、Idèle語言)能夠統一處理代數數域和以有限域為常數域的代數函數域。A.韋伊於1967年寫的《基礎數論》一書是這種方法的集中反映,對現代數論的發展有重要影響。