The essentially chief series of a compactly generated locally compact group (Q681647)

At first the authors study the lattice of closed normal subgroups of compactly generated locally compact groups $G$. For that they use Cayley-Abels graphs and a theorem of Gleason-Yamabe. Among other things they obtain the following results (see Theorem 3.3): \begin{itemize} \item[(a)] If $\mathcal{F}$ is a filtering family of closed normal subgroups of $G$, then there exists $N\in\mathcal{F}$ and a closed normal subgroup $K$ of $G$ such that $\bigcap\mathcal{F}\leq K\leq N$, $K/\bigcap\mathcal{F}$ is compact, and $N/K$ is discrete. \item[(b)] If $\mathcal{D}$ is a directed family of closed normal subgroups of $G$, then there exists $N\in\mathcal{D}$ and a closed normal subgroup $K$ of $G$ such that $N\leq K\leq \overline{\langle \mathcal{D}\rangle}$, $K/N$ is compact, and $\overline{\langle \mathcal{D}\rangle}/K$ is discrete. \end{itemize} For a property $P$ of groups, a non-trivial locally compact group $G$ is said to be \textit{just-non-P} if every proper non-trivial quotient of $G$ has $P$, but $G$ itself does not have $P$. \par As a consequence of Theorem 3.3 the following result is proved: \par Let $P$ be a property of locally compact groups. If all groups with $P$ are compactly presented and $P$ is closed under compact extensions, then for any compactly generated locally compact group $G$, exactly one of the following holds: \begin{itemize} \item[(a)] Every non-trivial quotient of $G$ (including $G$ itself) has $P$; or \item[(b)] $G$ admits a quotient that is just-non-$P$. \end{itemize} A \textit{normal factor} of a topological group $G$ is a quotient $K/L$ such that $K$ and $L$ are distinct closed normal subgroups of $G$ with $L<K$. The authors say that a normal factor $K/L$ is a \textit{topological chief factor} of $G$ if there are no closed normal subgroups of $G$ strictly between $L$ and $K$. Then they give the following definition: \par An \textit{essentially chief series} for a locally compact group $G$ is a finite series $$\{1\}=G_0\leq G_1\ldots\leq G_n=G$$ of closed normal subgroups of $G$ such that each factor $G_{i+1}/G_i$ is either compact, discrete, or a topological chief factor of $G$. \par Then it is shown that every compactly generated locally compact group $G$ has an essentially chief series. For that the authors prove that any finite normal series of $G$ can be refined to an essentially chief series (see Theorem 4.4). \par Finally the authors prove a Jordan-Hölder theorem for essentially chief series (see Theorem 4.8). For that they use general properties of associated chief factors obtained by them in the preprint [``Chief factors in Polish groups'', \url{arXiv:1509.00719}].