ScalingStacks

Lemma 1.10 . [025R]

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

Lemma 1.10.

Let k′′k^{\prime\prime} be an extension field of k′k^{\prime}, and let |.|′′|\raisebox{1.72218pt}{.}|^{\prime\prime} be a complete absolute value of k′′k^{\prime\prime} as an extension of |.|′|\raisebox{1.72218pt}{.}|^{\prime}. We set Vk′′:=V⊗kk′′V_{k^{\prime\prime}}:=V\otimes_{k}k^{\prime\prime}. Note that Vk′′=Vk′⊗k′k′′V_{k^{\prime\prime}}=V_{k^{\prime}}\otimes_{k^{\prime}}k^{\prime\prime}. Let ‖.‖k′′\|\raisebox{1.72218pt}{.}\|_{k^{\prime\prime}} (resp. ‖.‖k′,k′′\|\raisebox{1.72218pt}{.}\|_{k^{\prime},k^{\prime\prime}}) be a norm of Vk′′V_{k^{\prime\prime}} obtained by the scalar extension of ‖.‖\|\raisebox{1.72218pt}{.}\| on VV (resp. the scalar extension of ‖.‖k′\|\raisebox{1.72218pt}{.}\|_{k^{\prime}} on Vk′V_{k^{\prime}}). Then ‖.‖k′′=‖.‖k′,k′′\|\raisebox{1.72218pt}{.}\|_{k^{\prime\prime}}=\|\raisebox{1.72218pt}{.}\|_{k^{\prime},k^{\prime\prime}}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.