主題
Search

類方程


O 為虛二次域的階。 O 的類方程是方程 H_O=0,其中 H_Oj(O)Q 上的擴張域極小多項式,j(O)j-不變數 O。(如果 O 有生成元 tau,則 j(O)=j(tau)))。 H_O 的次數等於 K 的分式域 O 的類數。

多項式 H_O 也被稱為 O 的類方程(例如,Cox 1997, p. 293)。

同樣成立的是

 H_O(X)=product[X-j(a)],

其中乘積是對 a 的每個理想類的代表 O 取的。

如果 K 的判別式為 D,則使用符號 H_D(X)=H_O(X)。如果 D 不能被 3 整除,則 H_D(X) 的常數項是一個完全立方數。下表列出了前幾個類方程以及 j(tau) 的對應值,其中 tauO 的每個理想類中理想的生成元。在每種情況下,常數項都寫成一個立方數乘以一個無立方數因子的部分。

DH_D(X)tauj(tau)
-3X1/2(1+sqrt(-3))0
-4X-12^3sqrt(-1)12^3
-7X+15^31/2(1+sqrt(-7))-15^3
-8X-20^3sqrt(-2)20^3
-11X+32^31/2(1+sqrt(-11))-32^3
-12X-2·30^3sqrt(-3)2·30^3
-15X^2+191025X-495^31/2(1+sqrt(-15))-(135)/2(1415+637sqrt(5))
1/4(1+sqrt(-15))-(135)/2(1415-637sqrt(5))
-16X-66^32sqrt(-1)66^3
-19X+96^31/2(1+sqrt(-19))-96^3
-20X^2-1264000X-880^3sqrt(-5)320(1975+884sqrt(5))
1/2(1+sqrt(-5))320(1975-884sqrt(5))

另請參閱

代數數極小多項式, 類群, 類數, 判別式, 理想, 理想類, j-函式, j-不變數, 數域的階

此條目由 David Terr 貢獻

使用 探索

參考文獻

Cox, D. A. Primes of the Form x2+ny2: Fermat, Class Field Theory and Complex Multiplication. New York: Wiley, 1997.

在 中引用

類方程

請按如下方式引用

Terr, David. “類方程。” 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/ClassEquation.html

學科分類