Valuatiering

Een valuatiering is een integriteitsdomein waarvan het quotiëntenlichaam bestaat uit elementen van de ring en hun inversen.

• Ieder lichaam is zijn eigen quotiëntenlichaam, dus een valuatiering.
• De ring der gehele getallen is geen valuatiering. Het quotiëntenlichaam wordt gevormd door de rationale getallen, maar noch de breuk 2/3, noch haar inverse 3/2, is een geheel getal.
• De ring ${\displaystyle \mathbb {Z} _{(2)}}$, van breuken waarvan de noemer een oneven getal is, is een valuatiering. Elke breuk kan namelijk vereenvoudigd worden tot een breuk met oneven teller óf oneven noemer.
• Algemener, zij p een willekeurig priemgetal. De ring ${\displaystyle \mathbb {Z} _{(p)}}$ bestaat uit de breuken waarvan de eenvoudigste noemer niet door p deelbaar is. Elke breuk is ofwel een dergelijk getal, ofwel het omgekeerde van een dergelijk getal. ${\displaystyle \mathbb {Z} _{(p)}}$ is de lokalisatie van de ring der gehele getallen naar het priemideaal (p).

• In een valuatiering geldt voor ieder paar idealen dat het ene in het andere vervat zit. De relatie "is een deel van" vormt dus een totale orde op de verzameling der idealen.
• Hieruit volgt dat er maar één maximaal ideaal kan zijn: een valuatiering is een lokale ring. Het unieke maximale ideaal bestaat uit (nul en) de elementen waarvan het inverse (in het quotiëntenlichaam) niet tot de ring behoort. Bijvoorbeeld: in ${\displaystyle \mathbb {Z} _{(p)}}$ bestaat het maximaal ideaal uit de breuken waarvan de teller deelbaar is door p.
• Voor ieder integriteitsgebied R met een priemideaal P bestaat er een valuatiering V met hetzelfde quotiëntenlichaam als R, zodat P de doorsnede is van R met het maximaal ideaal van V. Zo ontstaat ${\displaystyle \mathbb {Z} _{(p)}}$ uit de ring der gehele getallen en het priemideaal (p).
• Elke valuatiering is integraal gesloten.
• In een valuatiering is ieder eindig voortgebracht ideaal een hoofdideaal.

Zij R een valuatiering met quotiëntenlichaam K. Voor ieder willekeurig element x van K noteren we

${\displaystyle xR=\{x.r|r\in R\}}$

De verzameling

${\displaystyle H=\left\{xR|x\in K\setminus \{0\}\right\}}$

is totaal geordend door de relatie "is een deel van". Ze vormt een abelse groep voor de vermenigvuldiging, en de groepsbewerking is compatibel met de orde.

Als H isomorf is met de groep der gehele getallen, dan noemt men R een discrete valuatiering. Voor een willekeurige valuatiering R zijn de volgende drie uitspraken gelijkwaardig:

1. R is een discrete valuatiering.
2. R is een Noetherse ring, dat wil zeggen ieder ideaal van R is eindig voortgebracht.
3. R is een hoofdideaaldomein, dat wil zeggen ieder ideaal van R is een hoofdideaal.