G, H をそれぞれ具体的な有限表示が与えられた群とする。
G がその表示に対して語の問題が解けるならば、
更に G と H が抽象的に同型なら
H の与えられた表示から語の問題が解ける。