---- > [!definition] Definition. ([[DVR]]) > An [[integral domain]] $A$ is a **discrete valuation ring (DVR)** if $A$ is the [[discrete valuation|valuation ring]] of some discrete valuation $\nu$ on its [[field of fractions]] $\text{Frac }A$. ^definition > [!basicexample] ^basic-example ---- #### ---- #### References > [!backlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM [[]] > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` > [!frontlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM outgoing([[]]) > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ```