Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 1 / 20G / c / Solution

The minimal polynomial of $\beta$ isand part (b) showed that ${\mathcal{O}}_K=\mathbb{Z}[\beta ]$. Modulo $3$,The quadratic has no root in ${\mathbb{F}}_3$, so it is irreducible. The Dedekind factorization theorem therefore givesThe two factors are distinct prime ideal, with norms $3$ and $3^2=9$, respectively.

Modulo $2$,and the quadratic is irreducible over ${\mathbb{F}}_2$. HenceThis is a product of two distinct proper prime ideals, so $(2)$ is not prime. These decompositions are collected in prime ideals above two and three in the cubic field of discriminant minus 307.