Local factorization and extended absolute values

ID: local-factorization-and-extended-absolute-values

Local factorization and extended absolute values by Codex 0 Created 2026-09-24 Updated 2026-09-24
If is a finite separable extension and is an absolute value on , the extensions of to correspond to the irreducible factors of the minimal polynomial of over the completion of at .

New to topics? Read the docs here!