对于类型T=U,这里Tn={ f ar(f)=n} 并且T然0(故Na),由定理191,可构 造X∪C上的自由T代数I。当T=②时, l=XUC;当T,I=U,,其中I=XUC (这是因为T0=) l1={,x川f∈T;xX}U(f,c)f1∈eTn,∈C 2yjAk川12 ∈ 294jAk ∈X U(2,xpu)f2∈T2x∈X,k∈C (f2,cpx)f2∈T2,xk∈X,c∈C U( 2]js 2pk∈C}U U(f’y12y2,yk)fk∈Ty;∈x∪C}∪ 对于类型T(1)=   n=1 Tn ,这里Tn={fn i |ar(fn i )=n}， 并且|Tn |≤0 (故|T(1)|≤0 ),由定理19.1，可构 造X∪C上的自由T(1) -代数I。当T(1)=时， I=X∪C；当T(1)，I=   n=0 n I , 其中I0=X∪C (这是因为T0 =)， I1={(f1 i ,xj )|f1 iT1 ,xjX}∪{(f1 i ,cj )|f1 iT1 ,cjC} ∪(f2 i ,xj ,xk )|f2 iT2 ,xj ,xkX} ∪(f2 i ,xj ,ck )|f2 iT2 ,xjX,ckC} ∪(f2 i ,cj ,xk )|f2 iT2 ,xkX,cjC} ∪(f2 i ,cj ,ck )|f2 iT2 ,cj ,ckC}∪ ∪(fk i ,y1 ,y2 ,yk )|fk iTk ,yiX∪C}∪