歧当且仅当formula_21整除formula_13的判别式（formula_3或formula_16，取决于formula_35）；对其余无穷多个素数，前两个情形皆会发生，而且其机率在某种意义上相等。
素p分圆域和二次域.分圆域素p（p＞2）次根群所产生二次子域，也是伽罗瓦理论（埃瓦里斯特·伽罗瓦）的一个结论，在有理域上有惟一指数2Galois子群，，二次域特例d=-1时成称高斯整环，有判别式p的p=4N+1-P，P = 4N +3才有素分解，高斯整环分歧条件叫高斯周期（Gau