Open Research Index

Nonsofic wreath products of residually finite groups

Gabor Kun, Andreas Thom

arXivarxiv/2608.06222Aug 6, 2026math.GRscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.06222
curl -X POST /api/v1/records/arxiv/2608.06222/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.06222/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'