定义17.6设X是集合,G是一个T-代数,为X到G的函数,.pptVIP

* * 定义17.6:设X是集合，G是一个T-代数，?为X到G的函数,若对每个T-代数A和X到A的函数?，都存在唯一的G到A的同态映射?,使得???=?，则称G(更严格的说是(G,?))是生成集X上的自由T-代数。X中的元素称为生成元。 A变， ?变 ?变， ?也变 对给定的? 和A，?是唯一的 定理17.1:对任何集合X和类型T，存在X上的自由T-代数，并且这种T-代数在同构意义下是唯一的。 证明:1.唯一性 ? X G ?1 ? G1 ?1 ? ?1 G X G1 存在性证明采用构造法,在证明之前,先看个例子 ? ? ?1o? G X G 设X={x1,…,xn,…}，T={F,→}，其中ar(F)=0,ar(→)=2， 令： P0={F,x1,…,xn,…} P1={(→,ai,aj)|ai,aj?P0} ={(→,F,F)}∪{(→,F,xi)|xi?X}∪ {(→,xi,F)|xi?X}∪{(→,xi,xj)|xi,xj?X} P2={(→,ai,aj)|ai?P0,aj?P1}∪{(→,ai,aj)|ai?P1,aj?P0} 随着n的增大Pn将更为复杂。 令P(X)为：P(X)= 按类型T=({F,→},ar)定义P(X)上的运