Definition 1.8 . [025N]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Definition 1.8.
Let be an extension field of , and let be a complete absolute value of which is an extension of .
We set .
Identifying with
|
|
|
we can give a norm of ,
that is,
|
|
|
The norm is called the scalar extension of .
Note that for . Indeed,
by Corollary 1.7,
|
|
|