Residual properties of finitely generated groups in the Weihrauch lattice
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.30138
curl -X POST /api/v1/records/arxiv/2605.30138/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.30138/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'