Homemath.GRarXiv:2605.30138

Residual properties of finitely generated groups in the Weihrauch lattice

math.GRmath.LO2026-05v1license

Abstract

Consider, on the space of marked groups, the map ResC\mathrm{Res}_{\mathcal{C}} which associates to a marked group its greatest residually-C\mathcal{C} quotient, for different sets C\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 C\mathcal{C} and whether the set of residually-C\mathcal{C} groups is a quasivariety both can be characterized in terms of the position of ResC\mathrm{Res}_{\mathcal{C}} within the Weihrauch lattice. We give exact classifications of ResC\mathrm{Res}_{\mathcal{C}}, for C\mathcal{C} one of: the set of finite groups, of nilpotent groups, of kk-nilpotent groups, k1k\ge1, of finitely presentable groups, of LEF groups, of torsion free groups.

Comments: 38 pages

Cite

@article{arxiv.2605.30138,
  title  = {Residual properties of finitely generated groups in the Weihrauch lattice},
  author = {Emmanuel Rauzy},
  journal= {arXiv preprint arXiv:2605.30138},
  year   = {2026}
}