Subadditive Euclidean norm

From Commalg

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

Definition

Let be a commutative unital ring and be a Euclidean norm on . We say that is subadditive if for any such that , we have:

.

Relation with other properties

Stronger properties