Residual properties of finitely generated groups in the Weihrauch lattice
math.GRmath.LO2026-05v1license
Abstract
Consider, on the space of marked groups, the map which associates to a marked group its greatest residually- quotient, for different sets 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 and whether the set of residually- groups is a quasivariety both can be characterized in terms of the position of within the Weihrauch lattice. We give exact classifications of , for one of: the set of finite groups, of nilpotent groups, of -nilpotent groups, , 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}
}