INFINITE IRREDUCIBLE SYSTEMS OF GROUP IDENTITIES
S I Adjan · Mathematics of the USSR-Izvestiya · 1970
In this paper we construct infinite irreducible systems of group identities in two variables. We also demonstrate the existence of a group defined by two generators and a countable set of identity relations in which the word problem is unsolvable.