Dedekind-Hasse norm: Difference between revisions
(New page: ==Statement== A '''Dedekind-Hasse norm''' on a commutative unital ring <math>R</math> is a function <math>N</math> from the nonzero elements of <math>R</math> to the set of nonnegativ...) |
No edit summary |
||
| Line 8: | Line 8: | ||
* There is a nonzero element in the ideal <math>(a,b)</math> whose norm is strictly smaller than that of <math>b</math>. | * There is a nonzero element in the ideal <math>(a,b)</math> whose norm is strictly smaller than that of <math>b</math>. | ||
==Relation with other properties== | |||
===Stronger properties=== | |||
* [[Weaker than::Euclidean norm]]: {{proofofstrictimplicationat|[[Euclidean implies Dedekind-Hasse]]|[[Dedekind-Hasse not implies Euclidean]]}} | |||
* [[Weaker than::Multiplicative Dedekind-Hasse norm]] | |||
* [[Weaker than::Multiplicative Dedekind-Hasse norm]] | |||
==Facts== | ==Facts== | ||
* A commutative unital ring that admits a Dedekind-Hasse norm is a [[principal ideal ring]]. {{proofat|[[Dedekind-Hasse norm implies principal ideal ring]]}} | * A commutative unital ring that admits a Dedekind-Hasse norm is a [[principal ideal ring]]. {{proofat|[[Dedekind-Hasse norm implies principal ideal ring]]}} | ||
Revision as of 18:24, 23 January 2009
Statement
A Dedekind-Hasse norm on a commutative unital ring is a function from the nonzero elements of to the set of nonnegative integers, satisfying the following condition:
Whenever are both nonzero, then one of these cases holds:
- is an element of the ideal . In other words, .
- There is a nonzero element in the ideal whose norm is strictly smaller than that of .
Relation with other properties
Stronger properties
- Euclidean norm: For proof of the implication, refer Euclidean implies Dedekind-Hasse and for proof of its strictness (i.e. the reverse implication being false) refer Dedekind-Hasse not implies Euclidean
- Multiplicative Dedekind-Hasse norm
- Multiplicative Dedekind-Hasse norm
Facts
- A commutative unital ring that admits a Dedekind-Hasse norm is a principal ideal ring. For full proof, refer: Dedekind-Hasse norm implies principal ideal ring