Lifting generators in connected Lie groups (Q6857529)

Recall the following classical result in finite group theory:\N\NGaschütz Lemma. [\textit{W. Gaschütz}, Math. Nachr. 14, 249--252 (1955; Zbl 0071.25202)] Let \(G\) be a finite group, and let \(d(G)\) denote the minimum number of generators of \(G\). Let\N\[\Nf \colon G \longrightarrow H\N\]\Nbe an epimorphism. If \(H=\langle h_{1},\ldots,h_{n}\rangle\) with \(n>d(G)\), then there exist elements \(g_{1},\ldots,g_{n}\in G\) such that \(f(g_i)=h_i\) for \(i=1,\ldots,n\) and\N\[\NG=\langle g_{1},\ldots,g_{n}\rangle.\N\]\NIt is already known that analogues of Gaschütz's lemma hold for profinite groups, where one replaces generation by topological generation.\N\NMoreover, for groups \(G\) and \(H\), the first author and \textit{T. Gelander} [J. Algebra 498, 254--262 (2018; Zbl 1403.22003)] defined an epimorphism \N\[\Nf \colon G \longrightarrow H\N\]\Nto be Gaschütz if for every generating tuple \(h_{1},\ldots,h_{n}\in H\) with \(n>d(G)\), there exist lifts \(g_{1},\ldots,g_{n}\in G\) satisfying \(f(g_i)=h_i\) for \(i=1,\ldots,n\) such that\N\[\NG=\langle g_{1},\ldots,g_{n}\rangle.\N\]\NThey have defined a group \(G\) to be Gaschütz if every open epimorphism out of \(G\) is Gaschütz. In the paper under review, the authors prove that every perfect connected Lie group is Gaschütz.