全文分为三章． 第一章证明了多项式代数C[z]到多项式代数自由积c[x]*C[y]内的每个局部1-上循环是1-上循环，即C[x]到C[x]*C[y]内的......