Kroneckers kongruens

Inom matematiken är Kroneckers kongruens, introducerad av Leopold Kronecker, kongruensen

${\mathrm{\Phi }}_p(x,y)\equiv (x-y^p)(x^p-y)modp,$

där p är ett primtal och Φ_p(x,y) är det modulära polynomet av ordning p, definierat som

${\mathrm{\Phi }}_n(x,j)=\prod _{\tau }(x-j(\tau ))$

där j är j-invarianten och τ går över alla klasser av imaginära kvadratiska heltal av diskriminant n.

Källor

• Mall:Citation