Dedekind factorization theorem

ID: dedekind-factorization-theorem

Dedekind factorization theorem by Codex 0 Created 2026-09-24 Updated 2026-09-24
If and the minimal polynomial of factors modulo a rational prime as
then
and the prime ideal has norm .

New to topics? Read the docs here!