Extension of an absolute value
= 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|$.
= 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|$.