En teoría algebraica de números , el ideal diferente (a veces simplemente el diferente ) se define para medir la (posible) falta de dualidad en el anillo de números enteros de un campo numérico algebraico K , respecto de la traza del campo . Luego codifica los datos de ramificación para los ideales primos del anillo de números enteros. Fue introducido por Richard Dedekind en 1882. [1] [2]
Si O K es el anillo de números enteros de K , y tr denota la traza de campo desde K hasta el campo de números racionales Q , entonces
es una forma cuadrática integral en O K . Su discriminante como forma cuadrática no necesita ser +1 (de hecho, esto sucede sólo en el caso K = Q ). Defina el inverso diferente o codiferente [3] [4] o el módulo complementario de Dedekind [5] como el conjunto I de x ∈ K tal que tr( xy ) es un número entero para todo y en O K , entonces I es un ideal fraccionario de K que contiene O K . Por definición, el ideal diferente δ K es el ideal fraccionario inverso I −1 : es un ideal de O K .
La norma ideal de δ K es igual al ideal de Z generado por el campo discriminante D K de K .
La diferencia de un elemento α de K con polinomio mínimo f se define como δ(α) = f ′(α) si α genera el campo K (y cero en caso contrario): [6] podemos escribir
donde α ( i ) recorre todas las raíces del polinomio característico de α distintas de α mismo. [7] El ideal diferente se genera por los diferentes de todos los números enteros α en O K . [6] [8] Esta es la definición original de Dedekind. [9]
La diferencia también se define para una extensión de grado finito de campos locales . Desempeña un papel básico en la dualidad de Pontryagin para los campos p-ádicos .
La diferencia relativa δ L / K se define de manera similar para una extensión de campos numéricos L / K . La norma relativa del diferente relativo es entonces igual al discriminante relativo Δ L / K . [10] En una torre de campos L / K / F las diferencias relativas están relacionadas por δ L / F = δ L / K δ K / F . [5] [11]
La diferencia relativa es igual al aniquilador del módulo diferencial relativo de Kähler : [10] [12]
La clase ideal de δ L / K relativa diferente es siempre un cuadrado en el grupo de clases de O L , el anillo de números enteros de L . [13] Dado que el discriminante relativo es la norma del relativo diferente, es el cuadrado de una clase en el grupo de clases de O K : [14] de hecho, es el cuadrado de la clase de Steinitz para O L como O K - módulo. [15]
La diferencia relativa codifica los datos de ramificación de la extensión de campo L / K . Un ideal primo p de K se ramifica en L si la factorización de p en L contiene un primo de L elevado a una potencia superior a 1: esto ocurre si y sólo si p divide al discriminante relativo Δ L / K. Más precisamente, si
es la factorización de p en ideales primos de L, entonces Pi divide los diferentes δ L / K si y solo si Pi está ramificado, es decir, si y solo si el índice de ramificación e ( i ) es mayor que 1. [ 11] [16] El exponente preciso al que un primo ramificado P divide δ se denomina exponente diferencial de P y es igual a e − 1 si P se ramifica mansamente : es decir, cuando P no divide a e . [17] En el caso de que P esté ampliamente ramificado, el exponente diferencial se encuentra en el rango e a e + e ν P (e) − 1. [16] [18] [19] El exponente diferencial se puede calcular a partir de los órdenes de los grupos de ramificación superiores para extensiones de Galois: [20]
La diferencia puede definirse para una extensión de los campos locales L / K . En este caso podemos tomar la extensión como simple , generada por un elemento primitivo α que también genera una base integral de potencia . Si f es el polinomio mínimo para α, entonces la diferencia se genera mediante f' (α).