A vector space with a ring structure and a vector
norm such that for all
,
If has a multiplicative
identity 1, it is also required that
The field of real numbers is a normed ring with respect to the
absolute value, and the field
of complex numbers
is a normed ring with respect to the modulus.
In both cases, the above inequality is actually an
equality. More general examples are the ring
of real square matrices
with the matrix norm and the ring
of real polynomials with a polynomial
norm.