Extension of an absolute value (source code)

= Extension of an absolute value

For a <field extension> $L/K$, an extension of an absolute value $|\cdot|$ on $K$ is an absolute value on $L$ whose restriction to $K$ is $|\cdot|$.