Nikolov–Segal map conjecture for right exact localizations

From papers

Let LL be a right exact localization on the category of groups, and let GG be a nilpotent group. A homomorphism f:HGf:H\to G is a Nikolov–Segal map if

[G,G]=[G,Im(f)].[G,G]=[G,\operatorname{Im}(f)].

Here [G,G][G,G] is the commutator subgroup and [G,Im(f)][G,\operatorname{Im}(f)] is generated by commutators with one entry in the image of ff. Nikolov–Segal map conjecture. For any right exact localization LL on the category of groups and any nilpotent group GG, the map GLGG\to LG is a Nikolov–Segal map. The source presents this as a new conjecture after noting that the analogous abelian-cokernel claim fails in general, while it holds for the cited class of right exact localizations in the nilpotent setting; its general status remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Sergei O. Ivanov, “On the cokernel of the Baumslag rationalization”, arXiv:2102.04045 (2021).

Solutions 0

No solutions have been posted yet.