An algebra has a solvable word problem if and only if it is embeddable in a finitely generated simple algebra

[1]  William W. Boone,et al.  An algebraic characterization of groups with soluble word problem , 1974, Journal of the Australian Mathematical Society.

[2]  G. Higman.  Subgroups of finitely presented groups , 1961, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[3]  T. Evans.  On multiplicative systems defined by generators and relations , 1951, Mathematical Proceedings of the Cambridge Philosophical Society.

[4]  K. Mandelberg,et al.  Embedding Algebras with Solvable Word Problems in Simple Algebras - Some Boone-Higman Type Theorems , 1975 .