It is usual to prove
that every Euclidean domain (ED) is a principal ideal domain (PID). This work
developed and used inequalities to show that every Euclidean domain (ED) is a
principal ideal domain and that the converse does not hold. It shows how the
field norm may be applied to prove a simple result about the ring R of
algebraic integers in complex quadratic fields Q⌊ √-M ⌋ which are
Euclidean domains (EDs) and principal ideal domains (PIDs). Finally, how
universal side divisors may be applied to prove some results about principal
ideal domains (PIDs) which are not Euclidean domains (non-EDs).
No comments:
Post a Comment