# Definition:Norm/Ring

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

## Definition

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

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

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

satisfying the **(ring) submultiplicative 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)\) | $:$ | Submultiplicativity: | \(\ds \forall x, y \in R:\) | \(\ds \norm {x \circ y} \) | \(\ds \le \) | \(\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 \) |

### Normed Ring

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

Then $\struct {R, \norm {\, \cdot \,} }$ is a **normed ring**.

## Notes

This page has been identified as a candidate for refactoring of medium complexity.In particular: Extract this out into a transcluded page to be included into all the various discussionsUntil 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 ring, a division ring norm is always assumed to be a **multiplicative 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 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.