Norm on a commutative unital ring: Difference between revisions
(New page: ==Definition== Let <math>R</math> be a commutative unital ring. A '''norm''' on <math>R</math> is a function from the nonzero elements of <math>R</math> to the nonnegative integers. ...) |
No edit summary |
||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
Let <math>R</math> be a [[commutative unital ring]]. A '''norm''' on <math>R</math> is a function from the nonzero elements of <math>R</math> to the | Let <math>R</math> be a [[commutative unital ring]]. A '''norm''' on <math>R</math> is a function from the nonzero elements of <math>R</math> to the integers. | ||
Note that the [[algebraic norm in a number field]] is ''not'' a norm in this sense for all number fields because it is not | 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. | |||
Norms are typically used for integral domains. | Norms are typically used for integral domains. | ||
Revision as of 19:38, 23 January 2009
Definition
Let be a commutative unital ring. A norm on is a function from the nonzero elements of to the integers.
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.
Norms are typically used for integral domains.
Properties
For a complete list of properties, refer:
Category:Properties of norms on commutative unital rings
Multiplicative norm
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.
Characteristic norm
Further information: Characteristic norm
A norm on a commutative unital ring is termed characteristic if it is invariant under all automorphisms of the ring.
Other typical norm properties
- 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 , along with zero, forms an additive subgroup for any .