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!