show · ec.minimal_discriminant all knowls · up · search:

The minimal discriminant (or minimal discriminant ideal) of an elliptic curve \(E\) over a number field \(K\) is the ideal \(\mathfrak{D}_{min}\) of the ring of integers of \(K\) given by \[ \mathfrak{D}_{min} = \prod_{\mathfrak{p}}\mathfrak{p}^{e_{\mathfrak{p}}}, \] where the product is over all primes $\mathfrak{p}$ of $K$, and \(\mathfrak{p}^{e_{\mathfrak{p}}}\) is the local minimal discriminant of \(E\) at \(\mathfrak{p}\).

Knowl status:
  • Review status: reviewed
  • Last edited by John Jones on 2018-06-19 20:12:29.153000