{"id":"arxiv/2605.30138","url":"https://arxiv.org/abs/2605.30138","tags":["math.GR","math.LO"],"score":0,"title":"Residual properties of finitely generated groups in the Weihrauch lattice","domain":"math.GR","source":"arxiv","authors":["Emmanuel Rauzy"],"reviews":0,"subject":"math.GR","summary":"Consider, on the space of marked groups, the map $\\mathrm{Res}_{\\mathcal{C}}$ which associates to a marked group its greatest residually-$\\mathcal{C}$ quotient, for different sets $\\mathcal{C}$ of groups. Except for trivial cases, this map is discontinuous. We use the Weihrauch lattice to quantify how discontinuous it is. We show that equational noetherianity of $\\mathcal{C}$ and whether the set of residually-$\\mathcal{C}$ groups is a quasivariety both can be characterized in terms of the position of $\\mathrm{Res}_{\\mathcal{C}}$ within the Weihrauch lattice. We give exact classifications of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-28","reactions":{}}