No label defined (Q3972211)

[For the entire collection see Zbl 0703.00011.] Let \(C\) be a class of finite groups closed under taking subgroups, homomorphic images and group extensions, and let \(G=G_ 1\coprod\dots\coprod G_ n\) be the free pro-\(C\) product of pro-\(C\) groups \(G_ 1,\dots,G_ n\). The cartesian subgroup \(L\) of the free pro- \(C\) product \(G\) is by definition the kernel of the natural homomorphism of \(G\) onto \(G_ 1\times\dots\times G_ n\). The author proves that \(L\) is a free pro-\(C\) group whose basis can be explicitly given by a family of certain products of elements of factors as a compact (pointed) topological free generator system in the sense of \textit{D. Gildenhuys} and \textit{C.-K. Lim} [Math. Z. 125, 233-254 (1972; Zbl 0221.20048)]. The author also generalizes the definition of cartesian subgroup for free pro-\(C\) products over Boolean spaces to extend the above result appropriately under some suitable conditions on factors or the countability of the number of factors.