stringtranslate.com

Valoración (álgebra)

En álgebra (en particular en geometría algebraica o teoría algebraica de números ), una valoración es una función en un cuerpo que proporciona una medida del tamaño o multiplicidad de elementos del cuerpo. Generaliza al álgebra conmutativa la noción de tamaño inherente a la consideración del grado de un polo o la multiplicidad de un cero en el análisis complejo , el grado de divisibilidad de un número por un número primo en la teoría de números y el concepto geométrico de contacto entre dos variedades algebraicas o analíticas en la geometría algebraica. Un cuerpo con una valoración en él se llama cuerpo valorado .

Definición

Se comienza con los siguientes objetos:

La ley de ordenación y de grupo sobre Γ se extienden al conjunto Γ ∪ {∞ } [a] por las reglas

Entonces una valoración de K es cualquier mapa

v  : K → Γ ∪ {∞}

que satisface las siguientes propiedades para todos los a , b en K :

Una valoración v es trivial si v ( a ) = 0 para todo a en K × , de lo contrario no es trivial .

La segunda propiedad afirma que cualquier valoración es un homomorfismo de grupo en K × . La tercera propiedad es una versión de la desigualdad triangular en espacios métricos adaptada a un Γ arbitrario (ver la notación multiplicativa a continuación). Para las valoraciones utilizadas en aplicaciones geométricas , la primera propiedad implica que cualquier germen no vacío de una variedad analítica cerca de un punto contiene ese punto.

La valoración puede interpretarse como el orden del término de orden superior . [b] La tercera propiedad corresponde entonces a que el orden de una suma es el orden del término mayor, [c] a menos que los dos términos tengan el mismo orden, en cuyo caso pueden cancelarse y la suma puede tener un orden mayor.

Para muchas aplicaciones, Γ es un subgrupo aditivo de los números reales [d] en cuyo caso ∞ puede interpretarse como +∞ en los números reales extendidos ; nótese que para cualquier número real a , y por tanto +∞ es la unidad bajo la operación binaria de mínimo. Los números reales (extendidos por +∞) con las operaciones de mínimo y adición forman un semianillo , llamado semianillo tropical min , [e] y una valoración v es casi un homomorfismo de semianillo desde K hasta el semianillo tropical, excepto que la propiedad del homomorfismo puede fallar cuando se suman dos elementos con la misma valoración.

Notación multiplicativa y valores absolutos

El concepto fue desarrollado por Emil Artin en su libro Álgebra geométrica escribiendo el grupo en notación multiplicativa como (Γ, ·, ≥) : [1]

En lugar de ∞, agregamos un símbolo formal O a Γ, con la ley de ordenamiento y grupo extendida por las reglas

Entonces una valoración de K es cualquier mapa

| ⋅ | v  : K → Γ ∪ { O }

satisfaciendo las siguientes propiedades para todos a , bK :

(Tenga en cuenta que las direcciones de las desigualdades son invertidas respecto de las de la notación aditiva).

Si Γ es un subgrupo de los números reales positivos bajo multiplicación, la última condición es la desigualdad ultramétrica , una forma más fuerte de la desigualdad triangular |a+b| v|a| v + |b| v , y | ⋅ | v es un valor absoluto . En este caso, podemos pasar a la notación aditiva con grupo de valores tomando v + ( a ) = −log |a| v .

Cada valoración en K define un preorden lineal correspondiente : ab|a| v|b| v . Por el contrario, dado un " " que satisface las propiedades requeridas, podemos definir la valoración |a| v = { b : baab }, con multiplicación y ordenamiento basados ​​en K y .

Terminología

En este artículo, utilizamos los términos definidos anteriormente, en notación aditiva. Sin embargo, algunos autores utilizan términos alternativos:

Objetos asociados

Hay varios objetos definidos a partir de una valoración dada v  : K → Γ ∪ {∞} ;

Propiedades básicas

Equivalencia de valoraciones

Se dice que dos valoraciones v 1 y v 2 de K con grupo de valoración Γ 1 y Γ 2 , respectivamente, son equivalentes si existe un isomorfismo de grupo que preserva el orden φ  : Γ 1 → Γ 2 tal que v 2 ( a ) = φ( v 1 ( a )) para todo a en K × . Esta es una relación de equivalencia .

Dos valoraciones de K son equivalentes si y sólo si tienen el mismo anillo de valoración.

Una clase de equivalencia de valoraciones de un cuerpo se llama lugar . El teorema de Ostrowski da una clasificación completa de los lugares del cuerpo de los números racionales , estas son precisamente las clases de equivalencia de valoraciones para las compleciones p -ádicas de

Ampliación de valoraciones

Sea v una valoración de K y sea L una extensión de campo de K. Una extensión de v (a L ) es una valoración w de L tal que la restricción de w a K es v . El conjunto de todas esas extensiones se estudia en la teoría de ramificación de valoraciones .

Sea L / K una extensión finita y sea w una extensión de v a L . El índice de Γ v en Γ w , e( w / v ) = [Γ w  : Γ v ], se llama índice de ramificación reducido de w sobre v . Satisface e( w / v ) ≤ [ L  :  K ] (el grado de la extensión L / K ). El grado relativo de w sobre v se define como f ( w / v ) = [ R w / m w  :  R v / m v ] (el grado de la extensión de los campos de residuos). También es menor o igual que el grado de L / K . Cuando L / K es separable , el índice de ramificación de w sobre v se define como e( w / v ) p i , donde p i es el grado inseparable de la extensión R w / m w sobre R v / m v .

Completar campos con valores

Cuando el grupo abeliano ordenado Γ es el grupo aditivo de los números enteros , la valoración asociada es equivalente a un valor absoluto y, por lo tanto, induce una métrica en el cuerpo K . Si K es completo con respecto a esta métrica, entonces se denomina cuerpo con valor completo . Si K no es completo, se puede utilizar la valoración para construir su completitud , como en los ejemplos siguientes, y diferentes valoraciones pueden definir diferentes cuerpos de completitud.

En general, una valoración induce una estructura uniforme en K , y K se denomina cuerpo valorado completo si es completo como espacio uniforme. Existe una propiedad relacionada conocida como completitud esférica : es equivalente a la completitud si , pero más fuerte en general.

Ejemplos

valoración p-ádica

El ejemplo más básico es la valoración p- ádica ν p asociada a un entero primo p , en los números racionales con anillo de valoración donde es la localización de en el ideal primo . El grupo de valoración son los enteros aditivos Para un entero la valoración ν p ( a ) mide la divisibilidad de a por potencias de p :

y para una fracción, ν p ( a / b ) = ν p ( a ) − ν p ( b ).

Escribiendo esto multiplicativamente se obtiene el valor absoluto p -ádico , que convencionalmente tiene como base , por lo que .

La completitud de con respecto a ν p es el campo de números p-ádicos .

Orden de desaparición

Sea K = F (x), las funciones racionales en la línea afín X = F 1 , y tome un punto a ∈ X. Para un polinomio con , defina v a ( f ) = k, el orden de anulación en x = a ; y v a ( f / g ) = v a ( f ) − v a ( g ). Entonces el anillo de valuación R consiste en funciones racionales sin polo en x = a , y la compleción es el anillo formal de series de Laurent F (( xa )). Esto se puede generalizar al cuerpo de series de Puiseux K {{ t }} (potencias fraccionarias), el cuerpo de Levi-Civita (su compleción de Cauchy) y el cuerpo de series de Hahn , con valuación en todos los casos devolviendo el exponente más pequeño de t que aparece en la serie.

π-valoración ádica

Generalizando los ejemplos anteriores, sea R un dominio ideal principal , K su campo de fracciones y π un elemento irreducible de R. Como cada dominio ideal principal es un dominio de factorización único , cada elemento a de R distinto de cero se puede escribir (esencialmente) de forma única como

donde los e' son números enteros no negativos y los p i son elementos irreducibles de R que no son asociados de π . En particular, el número entero e a está determinado de forma única por a .

La valoración π-ádica de K viene dada entonces por

Si π' es otro elemento irreducible de R tal que (π') = (π) (es decir, generan el mismo ideal en R ), entonces la valoración π-ádica y la valoración π'-ádica son iguales. Por lo tanto, la valoración π-ádica puede llamarse valoración P -ádica, donde P  = (π).

PAG-Valoración ádica en un dominio de Dedekind

El ejemplo anterior se puede generalizar a dominios de Dedekind . Sea R un dominio de Dedekind, K su campo de fracciones y sea P un ideal primo no nulo de R. Entonces, la localización de R en P , denotada R P , es un dominio ideal principal cuyo campo de fracciones es K. La construcción de la sección anterior aplicada al ideal primo PR P de R P produce la valoración P -ádica de K.

Espacios vectoriales sobre campos de valoración

Supongamos que Γ ∪ {0} es el conjunto de números reales no negativos bajo la multiplicación. Entonces decimos que la valuación no es discreta si su rango (el grupo de valuación) es infinito (y por lo tanto tiene un punto de acumulación en 0).

Supóngase que X es un espacio vectorial sobre K y que A y B son subconjuntos de X . Entonces decimos que A absorbe a B si existe un αK tal que λK y |λ| ≥ |α| implica que B ⊆ λ A . A se llama radial o absorbente si A absorbe cada subconjunto finito de X . Los subconjuntos radiales de X son invariantes bajo intersección finita. Además, A se llama circulado si λ en K y |λ| ≥ |α| implica λ A ⊆ A . El conjunto de subconjuntos circulados de L es invariante bajo intersecciones arbitrarias. La envoltura circulada de A es la intersección de todos los subconjuntos circulados de X que contienen a A .

Supóngase que X e Y son espacios vectoriales sobre un cuerpo de valoración no discreto K , sea A ⊆ X , B ⊆ Y , y sea f : X → Y una función lineal. Si B está rodeada por un círculo o es radial, entonces también lo está . Si A está rodeada por un círculo, entonces también lo está f(A) pero si A es radial, entonces f(A) será radial bajo la condición adicional de que f sea sobreyectiva.

Véase también

Notas

  1. ^ El símbolo ∞ denota un elemento que no está en Γ , sin ningún otro significado. Sus propiedades están definidas simplemente por los axiomas dados .
  2. ^ Con la convención mínima aquí, la valoración se interpreta más bien como el negativo del orden del término de orden principal, pero con la convención máxima se puede interpretar como el orden.
  3. ^ Nuevamente, intercambiado ya que se utiliza la convención mínima.
  4. ^ Todo grupo arquimediano es isomorfo a un subgrupo de los números reales bajo adición, pero existen grupos ordenados no arquimedianos, como el grupo aditivo de un cuerpo ordenado no arquimediano .
  5. ^ En el semianillo tropical, el mínimo y la adición de números reales se consideran adición tropical y multiplicación tropical ; estas son las operaciones del semianillo.

Referencias

  1. ^ Álgebra geométrica de Emil Artin , páginas 47 a 49, vía Internet Archive

Enlaces externos