 Solution

Evaluation at $\alpha$ gives the ring isomorphismand reducing modulo $p$ givesFor each $i$,This quotient is a field because ${\overline{g}}_i$ is irreducible. Hence $P_i$ is a nonzero prime ideal; it is nonzero because it contains $p$. Its ideal norm is

The ideals are distinct. Indeed, if $P_i=P_j$ with $i\ne j$, then both ${\overline{g}}_i$ and ${\overline{g}}_j$ would vanish in the same quotient. Since distinct monic irreducibles are coprime, a Bezout identity between them would make $1$ vanish there, a contradiction.

Because the chosen lifts satisfyfor some $H\in \mathbb{Z}[X]$, evaluation at $\alpha$ givesEvery generator of the product ideal ${\prod }_i{P}_i^{e_i}$ either contains a factor $p$ or is the displayed product, soOn the other hand, multiplicativity of ideal norms and ${\sum }_i{e}_i\mathrm{deg}{\overline{g}}_i=\mathrm{deg}f=[L:\mathbb{Q}]$ giveTwo finite-index ideals with one contained in the other and equal index are equal. Thus the Dedekind factorization theorem is proved in this monogenic case: