Lecture Notes on Bayesian Estimation and Classification
《Lecture Notes on Bayesian Estimation and Classification》 · 第 55 页 · Section 2.2「Presentations of Groups」
The word problem is one of three important decision problems in group theory which were first formulated in 1911 by M. Dehn; the others are the conjugacy problem, which asks if there is an algorithm to decide if two elements of a finitely presented group are conjugate, and the isomorphism problem: Is there an algorithm to decide whether two given finitely presented groups are isomorphic?