考虑 判别式为
等于域判别式的形式的真等价类,则它们可以平均地细分为
个亏格,每个亏格包含
个形式,这些形式在组合下构成真等价类群的子群 (Cohn 1980, p. 224),其中
是
的不同素因子数。这个定理由高斯在 1801 年证明。
亏格基本定理
参见
形式亏格, 亏格定理使用 Wolfram|Alpha 探索
参考文献
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.在 Wolfram|Alpha 中被引用
亏格基本定理请引用为
Weisstein, Eric W. "亏格基本定理。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/FundamentalTheoremofGenera.html