Norm on a commutative unital ring: Difference between revisions

Latest revision as of 02:26, 24 January 2009

Let $R$ be a commutative unital ring. A norm on $R$ is a function from the nonzero elements of $R$ to the integers.

The term norm is typically used for a nonnegative norm: a norm that always takes nonnegative values.

The algebraic norm in a number field, restricted to its ring of integers, is not a nonnegative norm in this sense for all number fields because it is not always necessarily nonnegative.

Norms are typically used for integral domains.

For a complete list of properties, refer:

Further information: Multiplicative norm

A norm on a commutative unital ring is termed multiplicative if the norm of a nonzero product of two elements is the product of their norms.

Further information: Characteristic norm

A norm on a commutative unital ring is termed characteristic if it is invariant under all automorphisms of the ring.

Multiplicatively monotone norm: The norm of a product is at least equal to the norm of each of the factors.
Filtrative norm: The set of elements of norm less than $n$ , along with zero, forms an additive subgroup for any $n$ .

@@ Line 5: / Line 5: @@
 The term '''norm''' is typically used for a [[nonnegative norm]]: a norm that always takes nonnegative values.
-Note that the [[algebraic norm in a number field]] is ''not'' a nonnegative norm in this sense for all number fields because it is not always necessarily nonnegative.
+The [[algebraic norm in a number field]], restricted to its [[ring of integers in a number field|ring of integers]], is ''not'' a nonnegative norm in this sense for all number fields because it is not always necessarily nonnegative.
 Norms are typically used for integral domains.