Definition:Valued Field

Definition

Let $\struct {K, +, \circ}$ be a field.

Let $\norm {\,\cdot\,}$ be a norm on $K$.

Then $\struct {K, \norm{\,\cdot\,} }$ is a valued field.

Also see

• Definition:Norm on Division Ring
• Definition:Field (Abstract Algebra)
• Definition:Normed Ring