A local PID is a Euclidean domain

268 Views Asked by At

Studying commutative algebra I've encountered this statement:

A PID which is also a local ring is a Euclidean domain.

Is it true ? Why ?

1

There are 1 best solutions below

0
On BEST ANSWER

A local PID is a discrete valuation ring (or a field). Use that valuation to define the Euclidean norm.