Unique extension of an absolute value to a finite extension

ID: unique-extension-of-an-absolute-value-to-a-finite-extension

If is complete and is finite, an absolute value on extends uniquely to . With the normalization that it restricts exactly to the given absolute value,
Every -automorphism of preserves this extended absolute value.

New to topics? Read the docs here!