Published online by Cambridge University Press: 14 November 2022
The main result includes as special cases on the one hand, the Gerstenhaber–Rothaus theorem (1962) and its generalisation due to Nitsche and Thom (2022) and, on the other hand, the Brodskii–Howie–Short theorem (1980–1984) generalising Magnus’s Freiheitssatz (1930).
Definitions, examples, and properties of hyperlinear (= Connes-embeddable) groups can be found, e.g., in [36]; we note only that the class of hyperlinear groups contains all finite group and their free products (possibly, even all group are hyperlinear – this is a well-known open question).
This work was supported by the Russian Science Foundation, project no. 22-11-00075.