[FOM] Transfinite Euclidean Algorithm

[joeshipman@aol.com]

Commutative rings exist in which there is no Euclidean algorthm, but 
there is a "division algorithm" in which the appropriate "norm" with 
respect to which the remainder decreases takes values in a more complex 
well-ordered set than the integers. Can anyone give a simple example of 
such a ring?

-- JS
________________________________________________________________________
Email and AIM finally together. You've gotta check out free AOL Mail! - 
http://mail.aol.com