Studying commutative algebra I've encountered this statement:
A PID which is also a local ring is a Euclidean domain.
Is it true ? Why ?
Studying commutative algebra I've encountered this statement:
A PID which is also a local ring is a Euclidean domain.
Is it true ? Why ?
Copyright © 2021 JogjaFile Inc.
A local PID is a discrete valuation ring (or a field). Use that valuation to define the Euclidean norm.