Local factorization and extended absolute values
ID: local-factorization-and-extended-absolute-values
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!