En álgebra conmutativa , el estudio matemático de los anillos conmutativos , las topologías ádicas son una familia de topologías sobre el conjunto subyacente de un módulo , que generalizan las topologías p -ádicas sobre los números enteros .
Sea R un anillo conmutativo y M un R -módulo. Entonces cada ideal 𝔞 de R determina una topología en M llamada topología 𝔞 -ádica, caracterizada por la pseudometría La familia es una base para esta topología. [1]
Una topología 𝔞 -ádica es una topología lineal (una topología generada por algunos submódulos).
Con respecto a la topología, las operaciones de módulo de adición y multiplicación escalar son continuas , de modo que M se convierte en un módulo topológico . Sin embargo, M no necesita ser Hausdorff ; es Hausdorff si y solo si, de modo que d se convierte en una métrica genuina . En relación con la terminología habitual en topología, donde un espacio de Hausdorff también se llama separado, en ese caso, la topología 𝔞 -ádica se llama separada . [1]
Por el teorema de intersección de Krull , si R es un anillo noetheriano que es un dominio integral o un anillo local , se cumple que para cualquier ideal propio 𝔞 de R . Por lo tanto, bajo estas condiciones, para cualquier ideal propio 𝔞 de R y cualquier R -módulo M , la topología 𝔞 -ádica en M está separada.
Para un submódulo N de M , el homomorfismo canónico de M / N induce una topología cociente que coincide con la topología 𝔞 -ádica. El resultado análogo no es necesariamente cierto para el propio submódulo N : la topología del subespacio no necesita ser la topología 𝔞 -ádica. Sin embargo, las dos topologías coinciden cuando R es noetheriano y M finitamente generado . Esto se deduce del lema de Artin-Rees . [2]
Cuando M es Hausdorff, M puede completarse como un espacio métrico; el espacio resultante se denota por y tiene la estructura de módulo obtenida al extender las operaciones de módulo por continuidad. También es lo mismo que (o canónicamente isomorfo a): donde el lado derecho es un límite inverso de módulos cocientes bajo proyección natural. [3]
Por ejemplo, sea un anillo polinómico sobre un cuerpo k y 𝔞 = ( x 1 , ..., x n ) el ideal maximal homogéneo (único) . Entonces , el anillo de series de potencias formales sobre k en n variables. [4]
El cierre 𝔞 -ádico de un submódulo es [5] Este cierre coincide con N siempre que R sea 𝔞 -ádicamente completo y M sea finitamente generado. [6]
R se llama Zariski con respecto a 𝔞 si cada ideal en R es 𝔞 -ádicamente cerrado. Hay una caracterización:
En particular, un anillo local noetheriano es Zariski con respecto al ideal máximo. [7]