Bourbaki

Proposition 1

Tag 04VA, permanent. Cite it as [Bourbaki, Tag 04VA].

Commutative Algebra, chapter VI, § 6. Absolute values

For a mapping ff from KK to R\mathbf{R}, satisfying (VA,) and (VAII) to belong to V(K)\mathscr{V}(K), it is necessary and sufficient that f(1+x)f(1 + x) be bounded in the set of x∈Kx \in K such that f(x)≤1f(x) \leq 1.

If ff satisfies (UA)(\mathbf{U}_A), then f(1+x)≤Af(1 + x) \leq A if f(x)≤1f(x) \leq 1. Conversely, suppose that f(x+1)≤Af(x + 1) \leq A for the x∈Kx \in K such that f(x)≤1f(x) \leq 1 (which implies that A≥f(1)=1A \geq f(1) = 1); then, if x=0x = 0 or y=0y = 0, condition (UA)(\mathbf{U}_A) is fulfilled; if on the other hand x≠0x \neq 0 and y≠0y \neq 0, we may assume for example that f(y)≤f(x)f(y) \leq f(x), hence, by (VAs)(\mathbf{VA}_s), f(yx−1)≤1f(yx^{-1}) \leq 1 and therefore f(1+yx−1)≤Af(1 + yx^{-1}) \leq A, which gives, by virtue of (VAII)(\mathbf{VA}_{II}), f(x+y)f(x)−1≤Af(x + y)f(x)^{-1} \leq A; whence

f(x+y)≤Af(x)≤Asup⁡(f(x),f(y)). f(x + y) \leq Af(x) \leq A \sup(f(x), f(y)).

If ff is an absolute value on KK, then f(n.1)≤nf(n.1) \leq n by induction on the integer n>0n > 0 starting from (VAIII)(\mathbf{VA}_{III}); conversely:

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.