判别式.二次域formula_6里的整数环formula_7定义为该域中的代数整数。当formula_8时，整数环可描述为formula_9，否则为formula_10。当formula_11时，这些整数称为高斯整数，当formula_12时，称为艾森斯坦整数。根据上述描述，formula_13的判别式不难计算：当formula_8时判别式为formula_3，否则则为formula_16。
二次域上的分歧理论.设formula_6，formula_18为素数。数论关注的问题