A coanalytic Menger group that is not $\sigma$-compact

Abstract

Under $V=L$ we construct coanalytic topological subgroups of reals, demonstrating that even for definable groups of reals, selection principles may differ.