冷定理199代换定理)设 (aB):(P1×1Uc1)→(P2X2UC2)是半同态 映射,AcP1,p∈P1 今如果AFp,则a(A)a(p)l 证明:对证明序列用归纳法 n=1,p1p∈AP∪A 冷对n>1,假设对一切证明序列<n结论成立 p=p1→pn(<n) "s p=Vxg(Ao lq, AocA, Xevar(Ao)❖ 定理19.9(代换定理)设 (,):(P1 ,X1∪C1 )→(P2 ,X2∪C2 )是半同态 映射，AP1 ,pP1。 ❖ 如果A┣p，则(A)┣(p)。 ❖ 证明:对证明序列用归纳法 ❖ n=1,p1=pA P1∪A ❖ 对n>1,假设对一切证明序列<n结论成立 ❖ pi=pj→pn (i,j <n) ❖ pn =xq(A0┣q,A0A,xvar(A0 ))