素除子(prime divisor)一個賦值等價類.兩個賦值等價若且唯若其決定的拓撲相同,也若且唯若其中一個賦值是另一賦值的冪.由此得到的賦值等價類稱為素除子. ...
除子(divisor)亦稱韋伊除子,是研究代數簇的重要工具之一,指不可約簇X上余維數為1的不可約子簇的代數和。具體地,若D表示X中不含於X的奇異軌跡之中且余維...
剩餘類次數是素除子或素理想的剩餘類域的擴張次數,也稱為相應賦值素理想的次數或剩餘類次數。...
單位定理(unit theorem)域的單位群的結構定理.若F,為整體域(即有理數域Q或有限域上有理函式域F,, ct>的有限擴張),s為包含其所有無限素除子的有限集合,則F...
奧斯特洛夫斯基定理(theorem of Ostrowski )代數數論中的一個重要定理.阿基米德賦值本質上即通常的絕對值定理:若域F對於阿基米德素除子P是完備的,則F'必同構於實數...
即各分量為諸局部域元素的某些向量(其分量幾乎均為單位)形成的群,是理想群和除子群的推廣。設F為整體域,M為其素除子集,FP為F對P∈M的完備化。設a=(aP)...
分歧指數(ramification index)是在域擴張時,素除子延拓或素理想分解的指數。域擴張是域論的基本概念之一。若域K包含域F作為它的子域,則稱K是F的一個擴張(或擴...
(universal norm index in-equation )[1] 亦稱(或相當於)第二不等式.類域論的重要不等式.若K/k為n次伽羅瓦擴張,m是數域k的一個模,含所有分歧素除子因子,...
普通算術域(ordinary arithmetic field)數域的推廣,指普通“算術”(對於理想)可進行的域,實即戴德金環的商域.按定義,若域F有非空離散素除子集S滿足以下二公理...
為實除子)。滿足 的 生成的主理想的全體記為 ,與m互素的k的理想全體記作 ,於是 便稱為k的以m為模的射線理想類群,其元素個數 稱為射線理想類數。[1] ...
順分歧(tamely ramified)一種較簡單的分歧情形,包括非分歧情形.設Q為域E的離散素除子,P為其在子域F'上的限制.若剩餘類域擴張E/F可分,且F,的特徵p為零或...