It gives an algebraic characterisation of groups with soluble word problem connecting this property with embeddability in a simple group .
Ito ay nagbibigay ng isang algebraic characterisation ng mga grupo ng salita na may kalutasan problema sa pagkonekta ito ari-arian sa embeddability sa isang simpleng grupo.