On pro-$p$-groups with a single defining relator

A. F. Krasnikov

In this paper we establish necessary condition for the Freiheitsatz of Magnus can be extended to free pro-$p$-groups