运用环的模论方法,对半群的由作用效果即S-系范畴所反映的外部环境进行了研究,对S-系的条件(PA)作出进一步刻划,证明了满足条件(PA)的有限生成S-系是循环S-系的不交并,给出了循环S-系满足条件(PA)的充要条件以及左S-系S/ρ(x,x2)满足条件(PA)的充要条件,研究结果进一步丰富了S-系的相关结论.