Lifting generators in connected Lie groups

From MaRDI portal





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.











This page was built for publication: Lifting generators in connected Lie groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6857529)