在纯内射模上满的解释函子及其在$R$-序上的$R$-无挠模上的应用

设$R,S$为环，$\mathcal{X}\subseteq \text{mod}$-$R$为协变有限子范畴，$\mathcal{C}$为$\text{Mod}$-$R$中包含$\mathcal{X}$的最小可定义子范畴，$\mathcal{D}$为$\text{Mod}$-$S$的可定义子范畴。我们证明：若$I:\mathcal{C}\rightarrow \mathcal{D}$是一个解释函子，满足$I\mathcal{X}\subseteq \text{mod}$-$S$且其在$\mathcal{X}$上的限制是满的，则$I$在纯内射模上是满的。我们将此定理应用于Ringel和Roggenkamp引入的一个函子的推广，该推广特别允许我们描述驯顺Bäckström序的Ziegler谱的无挠部分。我们还引入了序上的伪生成模的概念，旨在为序上的格扮演与有限维代数上的有限维模的生成模相同的角色。