(2)存在性 n采用递归构造方法 iG。=T0UX 这里假定Tx=② i假设G(0rn已经确定,则: Gn=(ta1…ak)t∈Ta.-1 ∑ ⅲG=∪Gn n∈ N
(2)存在性 采用递归构造方法 ⅰG0=T0∪X. 这里假定T0∩X= ⅱ假设Gr (0r<n)已经确定，则： G {(t,a , ,a ) | t T , , 1} 1 n = 1 k k = − = a G r n k i i r i i ⅲ n N G Gn =
ⅳ定义G中运算te;GarG v对任何x∈X,o(x)=x 构造φ 称X中的元素为生成元 Gn是T表达式集,其复杂程度随着n的增大而 增加。 推论171:设G是可列集X={x1…,xm}上的自 由T代数。则G中每个元素都是某个有限子集 Xn={X1x…,n}所生成的自由T代数中的元素
ⅳ定义G中运算tG:Gar(t)→G ⅴ对任何xX,(x)=x 构造 称X中的元素为生成元 Gn是T-表达式集，其复杂程度随着n的增大而 增加。 推论17.1:设G是可列集X={x1 ,…,xn ,…}上的自 由T-代数。则G中每个元素都是某个有限子集 Xn={x1 ,…,xn }所生成的自由T-代数中的元素