Deje que$(R,m,k)$ sea un anillo local regular (noetheriano) de profundidad = dimensión$d$, y que$D$ sea un módulo de dualización para$R$ (por ejemplo, el sobre inyectivo de$R/m$).
Entonces,$D_p$ se está dualizando para$R_p$ para cualquier primo$p$ de$R$ (más generalmente, si$R$ es Gorenstein y$p$ es un primo tal que$R_p$ también es Gorenstein)? Si es verdad, ¿podría tener una referencia para una prueba?
¡Bache!
