The funtors P:T→R-Mod and S: R-Mod→T are proved to be an adjoint pair and have quasi-inverse relation in the special case of the rings of residue classes of modulo integers.
首先证明拉回环R上的模范畴与以R1-模及R2-模为对象构造的一类范畴之间存在一对伴随对函子,其次给出模n剩余类环上的应用,证明了在模n剩余类环上这样的函子伴随对具有拟逆关系。
The structure of quasi-inverse semigroups with inverse transversals;
有逆断面的拟逆半群(英文)