考慮 判別式為
等於域判別式的形式的真等價類,則它們可以平均地細分為
個虧格,每個虧格包含
個形式,這些形式在組合下構成真等價類群的子群 (Cohn 1980, p. 224),其中
是
的不同素因子數。這個定理由高斯在 1801 年證明。
虧格基本定理
參見
形式虧格, 虧格定理使用 探索
參考文獻
Arno, S.; Robinson, M. L.; and Wheeler, F. S. "具有小奇類數的虛二次域。" http://www.math.uiuc.edu/Algebraic-Number-Theory/0009/.Cohn, H. 高等數論。 New York: Dover, 1980.Gauss, C. F. 算術研究。 New Haven, CT: Yale University Press, 1966.在 中被引用
虧格基本定理請引用為
Weisstein, Eric W. "虧格基本定理。" 來自 網路資源。 https://mathworld.tw/FundamentalTheoremofGenera.html