Definition:Norm/Division Ring

From ProofWiki
Jump to navigation Jump to search

This page is about Norm on Division Ring. For other uses, see Norm.


Let $\struct {R, +, \circ}$ be a division ring whose zero is denoted $0_R$.

A (multiplicative) norm on $R$ is a mapping from $R$ to the non-negative reals:

$\norm {\,\cdot\,}: R \to \R_{\ge 0}$

satisfying the (ring) multiplicative norm axioms:

\((\text N 1)\)   $:$   Positive Definiteness:      \(\ds \forall x \in R:\)    \(\ds \norm x = 0 \)   \(\ds \iff \)   \(\ds x = 0_R \)      
\((\text N 2)\)   $:$   Multiplicativity:      \(\ds \forall x, y \in R:\)    \(\ds \norm {x \circ y} \)   \(\ds = \)   \(\ds \norm x \times \norm y \)      
\((\text N 3)\)   $:$   Triangle Inequality:      \(\ds \forall x, y \in R:\)    \(\ds \norm {x + y} \)   \(\ds \le \)   \(\ds \norm x + \norm y \)      


In contrast to the definition of a norm on a division ring, a ring norm is always assumed to be a submultiplicative norm.

The reason for this is by Normed Vector Space Requires Multiplicative Norm on Division Ring, the norm on a division ring that is the scalar division ring of a normed vector space must be a multiplicative norm.

By Ring with Multiplicative Norm has No Proper Zero Divisors it follows that a ring with zero divisors has no multiplicative norms, so a multiplicative norm is too restrictive for a general ring.

Also known as

Some authors refer to this concept as an (abstract) absolute value on $R$.

A field that is endowed with a norm is thereby referred as a valued field.

Also defined as

In the literature, it is common to define the norm only for subfields of the complex numbers.

However, the definition given here incorporates this approach.

Also see