Dedekind not implies PID

From Commalg
Jump to: navigation, search
This article gives the statement and possibly, proof, of a non-implication relation between two commutative unital ring properties. That is, it states that every commutative unital ring satisfying the first commutative unital ring property need not satisfy the second commutative unital ring property
View a complete list of commutative unital ring property non-implications | View a complete list of commutative unital ring property implications |Get help on looking up commutative unital ring property implications/non-implications
|

Statement

There exist Dedekind domains which are not principal ideal domains.

Proof

In fact, any ring of integers in a number field is a Dedekind domain, but most of them are not PIDs (in fact, they are not even unique factorization domains). For instance, consider the ring:

\mathbb{Z}\left[\sqrt{-5}\right]