Axiom:Multiplicative Norm Axioms

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

Let $\norm {\, \cdot \,}: R \to \R_{\ge 0}$ be a multiplicative norm on $R$.

The multiplicative norm axioms are the conditions on $\norm {\, \cdot \,}$ which are satisfied for all elements of $R$ in order for $\norm {\, \cdot \,}$ to be a multiplicative norm:

Also known as
In the discussion of norms, it is usually the case that multiplicative norms are under consideration.

Hence it is common to speak directly of norm axioms without qualification as to their exact variety.

Also see

 * Axiom:Submultiplicative Norm Axioms
 * Axiom:Norm Axioms (Vector Space)