定义176:设X是集合,G是一个T-代数,σ 为X到G的函数,若对每个T代数A和X到A 的函数τ,都存在唯一的G到A的同态映射o 使得qo=τ,则称G(更严格的说是(G,o)是 生成集X上的自由T代数。X中的元素称为 生成元。 A变,φ变 变,φ也变 对给定的τ和A,q是唯一的
定义17.6:设X是集合，G是一个T-代数， 为X到G的函数,若对每个T-代数A和X到A 的函数，都存在唯一的G到A的同态映射, 使得=，则称G(更严格的说是(G,))是 生成集X上的自由T-代数。X中的元素称为 生成元。 A变， 变 变， 也变 对给定的 和A，是唯一的
定理171:对任何集合X和类型T,存在X 上的自由T代数,并且这种T代数在同 构意义下是唯一的。 ■证明:1唯一性 P1 G
定理17.1:对任何集合X和类型T，存在X 上的自由T-代数，并且这种T-代数在同 构意义下是唯一的。 证明:1.唯一性 X G 1 G1 1 1 G X G1
■存在性证明采用构造法,在证明之前,先看个 例子
存在性证明采用构造法,在证明之前,先看个 例子 1º G X G
设X={x1…,xm},T={F,}其中 ar(F)=0ar(→→)=2, } P1={(,an川ana∈Po} ={(→,F,F)}∪{(,F,x川x∈X}U (一,x1F)x∈U{(一→,x)xX∈好 P2={(→,an4)a∈P0aeP1yU{(→)a1)a∈ P1a∈P0}
设 X={x1 ,…,xn ,…}，T={F,→}， 其 中 ar(F)=0,ar(→)=2， 令： P0={F,x1 ,…,xn ,…} P1={(→,ai ,aj )|ai ,ajP0 } ={(→,F,F)}∪{(→,F,xi )|xiX}∪ {(→,xi ,F)|xiX}∪{(→,xi ,xj )|xi ,xjX} P2={(→,ai ,aj )|aiP0 ,ajP1 }∪{(→,ai ,aj )|ai P1 ,ajP0 }
随着n的增大P将更为复杂。 n令P(X)为:P(X)=U n∈N 按类型I=({F,→},ar)定义P(X上的运算: 把0元运算Fx规定为P(X中的特定元素 二元运算→Px定义为: pox(p, =(,P, q 构成了X上T代数P(X),F,→exl 并且是自由T代数 这个T代数就是以后要讨论的命题代数
随着n的增大Pn将更为复杂。 令P(X)为：P(X)= n N Pn 按类型T=({F,→},ar)定义P(X)上的运算: 把0元运算FP(X)规定为P(X)中的特定元素 F 二元运算→P(X)定义为: →P(X)(p,q)=(→,p,q)， 构成了X上T-代数[P(X),FP(X),→P(X)] 并且是自由T-代数 这个T-代数就是以后要讨论的命题代数