派生交换环的相对逆限完美性

我们研究与正特征域上的派生交换环映射相关的相对 Frobenius 映射。作为本研究的一部分，我们检查了相对完美性的一个类比，并构造了相对逆限完美性——在基底满足适当条件时，用作将相对完美代数包含进全部代数范畴的右伴随。专用于动画环，我们研究相对版的半完美性和 F-有限性，并用这些结果表明，任何 F-有限动画环的映射可分解为有限型自由映射，继而是相对完美映射，最后是_surjective_映射。我们还表明，对于 Noetherian F-有限环的态射，余切复合的消失意味着该态射是相对完美的。