No label defined (Q4818692)

In the present paper, a pro-\(x\) group is defined to be a group \(G\) with a topology having the property that every identity neighborhood \(U\) of \(G\) contains a normal subgroup \(N\subseteq U\) such that \(G/N\), with the quotient topology, has property \(x\). The author's motivation for this definition are the notions of pro-Lie groups, respectively, protopological groups, as introduced by \textit{R. W. Bagley, T. S. Wu} and \textit{J. S. Yang} [Trans. Am. Math. Soc. 287, 829--838 (1985; Zbl 0575.22006)], respectively, \textit{J. I. Covington} [Kyungpook Math. J. 35, 323--328 (1995; Zbl 0858.22002)]. (A slight warning concerning the notion of pro-Lie group might be mentioned here: In the above cited paper, \textit{Bagley, Wu} and \textit{Yang} call a topological group \(G\) pro-Lie if \(G\) has small compact normal subgroups \(K\) such that \(G/K\) is a Lie group. Thus, such a pro-Lie group has to be locally compact. On the other hand, as pointed out by \textit{K. H. Hofmann} and \textit{S. A. Morris} in their monograph in preparing Lie theory and the structure of pro-Lie groups and locally compact groups [see also ``Projective limits of finite-dimensional Lie groups'' by the same authors in Proc. Lond. Math. Soc. (3) 87, 647--676 (2003; Zbl 1037.22041)] an important property of pro-Lie groups is that they are Lie projective, i.e., limits of projective systems of Lie groups. To have the equivalence between being Lie projective and being pro-Lie, one has to define a pro-Lie group in the following manner: A topological group \(G\) is a pro-Lie group if (1) it is `complete' and if (2) every identity neighborhood contains a normal subgroup \(N\) such that \(G/N\) is a Lie group. If a not necessarily complete topological group satisfies condition (2) it is called a proto-Lie group. The definition of a pro-Lie group given by \textit{Bagley, Wu} and \textit{Yang} agrees with the definition of \textit{Hofmann} and \textit{Morris}, since a locally compact topological group is complete.) Coming now back to the paper under review, after defining the notion of pro-\(x\) group, the author gives a sufficient condition for a pro-\(x\) group to have property \(x\), establishes a characterization theorem for pro-\(x\) groups, and shows how to generate new pro-\(x\) groups from existing ones.