{"id":"arxiv/2609.34057","url":"https://arxiv.org/abs/2609.34057","tags":["math.GR"],"score":0,"title":"On the residual finiteness of the non-abelian tensor square $G \\otimes G$, the non-abelian exterior square $G \\wedge G$ and the weak commutativity construction $\\X(G)$","domain":"math.GR","source":"arxiv","authors":["Ayrton Anjos Teixeira","Lucas Barroso Rocha","Dessislava H. Kochloukova"],"reviews":0,"subject":"math.GR","summary":"We prove that if $G$ is a residually finite group, $\\widehat{G}$ is its profinite completion and the map $H_2(G, \\mathbb{Z}) $ $ \\to H_2(\\widehat{G}, \\widehat{\\mathbb{Z}}),$ induced by the canonical map $G \\to \\widehat{G}$, is injective, then the non-abelian exterior square $G \\wedge G$ is residually finite. We show that if $G$ is a finitely presented centre-by-metabelian group then $ν(G)$, the non-abelian tensor product $G \\otimes G$ and the non-abelian tensor square $G \\wedge G$ are residually finite. Furthermore we prove that if $G$ be a finitely presented metabelian group then the weak…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}