discrete valuation ring

principal ideal domain that is a local ring and not a field

Categories: