A family of groups with nice word problems

Abstract

This paper is an outgrowth of my old battle with the open sentence problem for the theory of finite groups. The unsolvability of the word problem for groups (cf. [1] and [4]) entails the undecidability of the open sentence problem for the elementary theory of groups and thus strengthens the original undecidability result for this theory (cf. [7]). The fact that the elementary theory of finite groups is also undecidable (cf. [2] and [6]) therefore justifies my interest in the open sentence problem for that theory. This paper contains a construction of groups that might lead to a negative solution.