函子■对D_f-模X闭包的作用

The Effect of the Functor ■ on X-hull of D_f-modules

本文在文[1]基础上讨论函子■对D_f-模X闭包的作用。证明了函子■对D_f-模X闭包包含关系的不变性。

P. Conrad has showed that there exists a unique minimal essential extension M^(X_D) of the D_f-module M that is an X-group and also a Df-module. M^(X_D) is isomorphic to the intersection of all X-sub-groups of O(M) that contain M and are D_f-modules. In this paper, we will discuss the effect of the functor ■ on X-hull of D_f-modules and show ■ is unvaried for inclusive relations of X-hull of D_f-modules by the tool of homological algebra.