PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] Dedekind-Hasse valuation (Definition)

If $D$ is an integral domain then it is a PID iff it has a Dedekind-Hasse valuation, that is, a function $\nu:D-\{0\}\rightarrow \mathbb{Z}^+$ such that for any $a,b\in D-\{0\}$ either

  • $a\in (b)$ or
  • $\exists \alpha\in(a)\exists\beta\in(b)\left[0<\nu(\alpha+\beta)<\nu(b)\right]$

Proof: First, let $\nu$ be a Dedekind-Hasse valuation and let $I$ be an ideal of an integral domain $D$ Take some $b\in I$ with $\nu(b)$ minimal (this exists because the integers are well-ordered) and some $a\in I$ such that $a\neq 0$ $I$ must contain both $(a)$ and $(b)$ and since it is closed under addition, $\alpha+\beta\in I$ for any $\alpha\in(a),\beta\in(b)$

Since $\nu(b)$ is minimal, the second possibility above is ruled out, so it follows that $a\in (b)$ But this holds for any $a\in I$ so $I=(b)$ and therefore every ideal is princple.

For the converse, let $D$ be a PID. Then define $\nu(u)=1$ for any unit. Any non-zero, non-unit can be factored into a finite product of irreducibles (since every PID is a UFD), and every such factorization of $a$ is of the same length, $r$ So for $a\in D$ a non-zero non-unit, let $\nu(a)=r+1$ Obviously $r\in\mathbb{Z}^+$

Then take any $a,b\in D-\{0\}$ and suppose $a\notin (b)$ Then take the ideal of elements of the form $\{\alpha+\beta|\alpha\in (a), \beta\in(b)\}$ Since this is a PID, it is a principal ideal $(c)$ for some $r\in D-\{0\}$ and since $0+b=b\in(c)$ there is some non-unit $x\in D$ such that $xc=b$ Then $N(b)=N(xr)$ But since $x$ is not a unit, the factorization of $b$ must be longer than the factorization of $c$ so $\nu(b)>\nu(c)$ so $\nu$ is a Dedekind-Hasse valuation.




"Dedekind-Hasse valuation" is owned by Henry.
(view preamble | get metadata)

View style:

See Also: Euclidean valuation

Also defines:  Dedekind-Hasse norm, Dedekind-Hasse valuation

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: principal ideal, length, irreducibles, product, finite, unit, converse, addition, closed under, contain, well-ordered, integers, minimal, ideal, proof, function, iff, PID, integral domain
There is 1 reference to this entry.

This is version 2 of Dedekind-Hasse valuation, born on 2002-07-23, modified 2007-05-03.
Object id is 3188, canonical name is DedekindHasseValuation.
Accessed 5087 times total.

Classification:
AMS MSC13G05 (Commutative rings and algebras :: Integral domains)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)