定义19.8:T-代数A的元素a1a2an上的 字(word),就是元素wA(a1a2,an)∈A, 这里w是变量x1,x2,,xn上的一个T字。 定义19.9:一个T代数变量(T- algebra variable)是一个自由T-代数的自由生成 集的元素。定义19.8:T-代数A的元素a1 ,a2 ,…an上的 字(word)，就是元素wA(a1 ,a2 ,…an ) A， 这里w是变量x1 ,x2 ,…xn上的一个T-字。 定义1 9 .9 :一个T-代数变量(T-algebra variable)是一个自由T-代数的自由生成 集的元素