Example 1

Tag 0C4U, permanent. Cite it as [Bourbaki, Tag 0C4U].

General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras

Let $K$ be a valued division ring and let $K'$ be a subfield of the centre of $K$ such that the trace on $K'$ of the absolute value $|x|$ of $K$ is not the improper absolute value on $K'$ . Then $K$ , with $|x|$ as norm, is a normed algebra over $K'$ .

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

Cited by

Nothing.

Cites

Nothing.