自由群内方程的讨论

本文讨论了三种自由群方程,对非蜕化的一元方程,证明它没有变数解,并对AxBx^-1=1的短解的消去式作了详细的讨论。对方程PxQyRx^-1Sy^-1=1,证明了它的有解性是有限可判定的,它的全部解可以归入有限个递归解集合,对以上方程有变数解的条件和变数解的形式,文中也给出了较为完整的结果。