Dedekind–Kummer theorem

In algebraic number theory, the Dedekind–Kummer theorem describes how a prime ideal in a Dedekind domain factors over the domain's integral closure.^[1]

Statement for number fields

Let ${\displaystyle K}$ be a number field such that ${\displaystyle K=\mathbb {Q} (\alpha )}$ for ${\displaystyle \alpha \in {\mathcal {O}}_{K}}$ and let ${\displaystyle f}$ be the minimal polynomial for ${\displaystyle \alpha }$ over ${\displaystyle \mathbb {Z} [x]}$. For any prime ${\displaystyle p}$ not dividing ${\displaystyle [{\mathcal {O}}_{K}:\mathbb {Z} [\alpha ]]}$, write

where ${\displaystyle \pi _{i}(x)}$ are monic irreducible polynomials in ${\displaystyle \mathbb {F} _{p}[x]}$. Then ${\displaystyle (p)=p{\mathcal {O}}_{K}}$ factors into prime ideals assuch that ${\displaystyle N({\mathfrak {p}}_{i})=p^{\deg \pi _{i}}}$.^[2]

Statement for Dedekind Domains

The Dedekind-Kummer theorem holds more generally than in the situation of number fields: Let ${\displaystyle {\mathcal {o}}}$ be a Dedekind domain contained in its quotient field ${\displaystyle K}$, ${\displaystyle L/K}$ a finite, separable field extension with ${\displaystyle L=K[\theta ]}$ for a suitable generator ${\displaystyle \theta }$ and ${\displaystyle {\mathcal {O}}}$ the integral closure of ${\displaystyle {\mathcal {o}}}$. The above situation is just a special case as one can choose ${\displaystyle {\mathcal {o}}=\mathbb {Z} ,K=\mathbb {Q} ,{\mathcal {O}}={\mathcal {O}}_{L}}$).

If ${\displaystyle (0)\neq {\mathfrak {p}}\subseteq {\mathcal {o}}}$ is a prime ideal coprime to the conductor ${\displaystyle {\mathfrak {F}}=\{a\in {\mathcal {O}}\mid a{\mathcal {O}}\subseteq {\mathcal {o}}[\theta ]\}}$ (i.e. their sum is ${\displaystyle {\mathcal {O}}}$). Consider the minimal polynomial ${\displaystyle f\in {\mathcal {o}}[x]}$ of ${\displaystyle \theta }$. The polynomial ${\displaystyle {\overline {f}}\in ({\mathcal {o}}/{\mathfrak {p}})[x]}$ has the decomposition

with pairwise distinct irreducible polynomials ${\displaystyle {\overline {f_{i}}}}$. The factorization of ${\displaystyle {\mathfrak {p}}}$ into prime ideals over ${\displaystyle {\mathcal {O}}}$ is then given by where ${\displaystyle {\mathfrak {P}}_{i}={\mathfrak {p}}{\mathcal {O}}+(f_{i}(\theta ){\mathcal {O}})}$ and the ${\displaystyle f_{i}}$ are the polynomials ${\displaystyle {\overline {f_{i}}}}$ lifted to ${\displaystyle {\mathcal {o}}[x]}$.^[1]

References