Definition 12.3 (Discriminant). The discriminant is the ideal $d_{L∕K}\subseteq O_K$ generated by $\mathrm{\Delta }(x_1,\dots ,x_n)$ for all choices of $x_1,\dots ,x_n\in O_L$.