Una función v de un cuerpo o anillo a un grupo abeliano totalmente ordenado (a menudo R∪{∞} o Z∪{∞}) que mide tamaño o divisibilidad, es multiplicativa (v(xy)=v(x)+v(y) en notación aditiva) y satisface una desigualdad tipo triángulo v(x+y) ≥ min(v(x),v(y)) en el caso no archimedeano.

Principio

Asignar a cada elemento un orden de anulación o magnitud compatible con la multiplicación y con una desigualdad aditiva relajada, codificando así comportamiento local respecto a una determinada place, valoración o anillo de valoración.

Demostración

En Q, la valoración p-ádica vp cumple vp(p^k * a/b)=k cuando a,b son enteros no divisibles por p; en k((t)) la t-ádica envía t^n al valor n y las sumas obedecen la regla del mínimo.

Aplicación incorrecta

Usar una norma absoluta archimedeana como si cumpliera la desigualdad no archimedeana o tratar una valoración como cualquier función de tamaño sin verificar multiplicatividad y la desigualdad requerida.

Consecuencia

Una valoración induce un anillo de valoración, un ideal maximal de elementos de valor positivo, cuerpos residuales y completaciones; organiza principios local-a-global y controla convergencia, filtraciones por divisibilidad y comportamiento de ramificación.

Inversión

Sustituir la valoración por una valor absoluto que cumpla la desigualdad triangular habitual (archimediana), que mide tamaño de forma continua pero no proporciona la filtración discreta de divisibilidad útil en aritmética.

Límite

Las valoraciones requieren un codominio totalmente ordenado y compatibilidad multiplicativa; difieren de valores absolutos, normas y places en axiomas técnicos y son típicamente locales — no toda función de tamaño es una valoración.

Tensión semántica

La valoración se sitúa entre valores absolutos, normas y funciones de orden: semejante a un valor absoluto mide tamaño, pero a diferencia de normas archimedeanas suele satisfacer la fuerte desigualdad no archimedeana, produciendo una filtración discreta ligada a la divisibilidad algebraica.

Síntesis

Una valoración es una asignación multiplicativa y ordenada de 'tamaño' o divisibilidad hacia un codominio totalmente ordenado con una condición triangulística; define anillos de valoración y filtraciones que capturan propiedades locales aritméticas y de convergencia.