{"id":"arxiv/2608.06222","url":"https://arxiv.org/abs/2608.06222","tags":["math.GR"],"score":0,"title":"Nonsofic wreath products of residually finite groups","domain":"math.GR","source":"arxiv","authors":["Gabor Kun","Andreas Thom"],"reviews":0,"subject":"math.GR","summary":"This work builds on the breakthrough of OpenAI in finding the first nonsofic group. We analyze the underlying proof mechanism and find further applications. Let $Γ<G$ be such that $\\{g\\in G:gΓg^{-1}\\leqΓ\\}$ generates $G$ as a group, and suppose that both $Γ$ and $G$ have property $(T)$. If $Γ$ is not normal, then the generalized wreath product $\\bigl(\\bigoplus_{G/Γ}\\mathbb Z/2\\mathbb Z\\bigr)\\rtimes G$ and the group double $G \\ast_Γ G$ are nonsofic. These hypotheses hold for explicit pairs of elementary groups over polynomial and Laurent polynomial rings, in which both groups are residually…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}