论文部分内容阅读
Given a finitely presented group, it is interesting to know whether it is finite. In this talk, we first consider the corresponding group ring and map it to a free associa tive K-algebra. Then wedevelop a Groebner basis theory in this algebra. Finally we can check the finiteness of the order ofa given element in the given group and comput er its order if it is finite, and we may check the finiteness of the group as well.