关于伽罗瓦余模

推广伽罗瓦余环的概念，伽罗瓦余模被引入为A-余环$\cC$上的余模$P$，使得$P_A$是有限生成且投射的，并且求值映射$\mu_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$是（余环的）同构，其中$S=\End^\cC(P)$。观察到，对于此类余模，从右A-模范畴到右$\cC$-余模范畴的函子$\Hom_A(P,-)\ot_SP$和$-\ot_A\cC$是同构的。在本文中，我们将具有此性质的模$P$称为{\em 伽罗瓦余模}，而不要求$P_A$是有限生成且投射的。这推广了旧概念，但我们证明了基本性质和关系得以保持。这些余模接近生成元，并且与倾斜（余）模有一些共同性质。我们的一些结果也适用于广义Hopf伽罗瓦（余代数伽罗瓦）扩张。