Let $w$ be a group word with two variables $x$ and $y$. Is the sentence $(\forall x)(\exists y)w=1$ true in every group if it is true in every finite group? The same question about the sentence $(\exists x)(\forall y)w=1$.
On sentences true in all finite groups
owb
- 893
- 7
- 16