P-Adische Bewertung

Eine Funktion v_p, die jeder von Null verschiedenen ganzen Zahl n den Exponenten des festen Primzahl p zuordnet, der n teilt; sie wird auf rationale Zahlen durch v_p(a/b)=v_p(a)−v_p(b) und weiter auf Körper und Bewertungsringe erweitert, um p-adische Teilbarkeit zu messen.