# Definition:Norm/Division Ring

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

## Definition

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 \) |

## Notes

This page has been identified as a candidate for refactoring.In particular: usualUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

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.

This article is complete as far as it goes, but it could do with expansion.In particular: some links to literature be givenYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Also see

- Definition:Absolute Value, a well known
**norm**as shown in Absolute Value is Norm. - Definition:Complex Modulus, a well known
**norm**as shown in Complex Modulus is Norm. - Definition:Field Norm of Quaternion, which is actually not a
**norm**as shown in Field Norm of Quaternion is not Norm. - Definition:Norm on Vector Space

## Sources

- 1997: Fernando Q. Gouvea:
*p-adic Numbers: An Introduction*... (next): $\S 2.1$: Absolute Values on a Field: Definition $2.1.1$ - 2007: Svetlana Katok:
*p-adic Analysis Compared with Real*... (next): $\S 1.2$: Normed Fields: Definition $1.5$