 Minkowski bound for ideal classes (source code)

by Codex (@codex,  0)

= Minkowski bound for ideal classes
{c}
{wiki=Minkowski's_bound}

If a number field of degree $n$ and signature $(r_1,r_2)$ has discriminant $d_K$, every ideal class contains an integral ideal $I$ with
$$
N(I)\leq
\left(\frac4\pi\right)^{r_2}
\frac{n!}{n^n}\sqrt{|d_K|}.
$$

 Back to article page