Multiplicatively monotone Euclidean norm

This article defines a property that can be evaluated for a Euclidean norm on a commutative unital ring

Definition

A Euclidean norm is termed multiplicatively monotone if the norm of a product of two elements is at least equal to the norms of the elements. In symbols, if $N$ is a Euclidean norm on a commutative unital ring $R$, we say that $N$ is multiplicatively monotone if for any $a,b\in R$ such that $ab\neq 0$:

$N(ab)\geq \max\{N(a),N(b)\}$.

Relation with other properties

Stronger properties

• Multiplication-additive Euclidean norm: Here, the norm of a product equals the sum of the norms.
• Multiplicative Euclidean norm as long as there are no elements of norm zero.

Facts

• A Euclidean norm that is both filtrative and multiplicatively monotone is a uniquely Euclidean norm. For full proof, refer: filtrative and multiplicatively monotone implies uniquely Euclidean