Discrete Valuation Rings and Dedekind Domains
A ring A is called a discrete valuation ring if it is a principal ideal domain (Bourbaki, Alg., Chap. VII) that has a unique non-zero prime ideal m(A). [Recall that an ideal p of a commutative ring A is called prime if the quotient ring A/p is an integral domain.]
Unable to display preview. Download preview PDF.