FWP is undecidable by a result of Slobodskoi. Slobodskoi shows that the "Universal theory" of finite groups is undecidable. What you are asking for is whether the "Q-theory" of the pseudo-variety pseudovariety of finite groups is decidable. The universal theory and Q-theory are equivalent for the pseudovariety of finite groups (see Kharlampovich-Sapir, section 2.4 for a discussion), so the Q-theory is undecidable too.
|
2 | added 38 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
FWP is undecidable by a result of Slobodskoi. Slobodskoi shows that the "Universal theory" of finite groups is undecidable. What you are asking for is whether the "Q-theory" of the pseudo-variety of finite groups is decidable. The universal theory and Q-theory are equivalent (see Kharlampovich-Sapir, section 2.4 for a discussion), so the Q-theory is undecidable too. |
||||
