Semi-free subgroups of a profinite surface group

Abstract

We show that every closed normal subgroup of infinite index in a profinite surface group $\Gamma$ is contained in a semi-free profinite normal subgroup of $\Gamma$. This answers a question of Bary-Soroker, Stevenson, and Zalesskii.