Galois扩张、加闭包与局部上同调上的映射

给定一个素特征的局部整环 $(R,m)$，它是Gorenstein环的同态像，Huneke和Lyubeznik证明了存在一个模有限扩张整环 $S$，使得对每个 $i<\dim R$，局部上同调模 $H^i_m(R)\to H^i_m(S)$ 上的诱导映射为零。我们证明扩张 $S$ 可以被选为泛Galois的，并分析了由此产生的Galois群。