Proposition 1
Tag 04VA, permanent. Cite it as [Bourbaki, Tag 04VA].
Commutative Algebra, chapter VI, § 6. Absolute values
For a mapping from to , satisfying (VA,) and (VAII) to belong to , it is necessary and sufficient that be bounded in the set of such that .
If satisfies , then if . Conversely, suppose that for the such that (which implies that ); then, if or , condition is fulfilled; if on the other hand and , we may assume for example that , hence, by , and therefore , which gives, by virtue of , ; whence
If is an absolute value on , then by induction on the integer starting from ; conversely:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.