Projective products of profinite groups (Q2366363): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3824581 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Closed Subgroups of Free Products of Profinite Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A subgroup theorem for free products of pro-finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some applications of integral geometry to the theory of curves of finite rotation / rank | |||
Normal rank |
Latest revision as of 18:12, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projective products of profinite groups |
scientific article |
Statements
Projective products of profinite groups (English)
0 references
29 June 1993
0 references
The definition of a projective product of profinite groups is given in the paper. Then the following nice characterization of projective profinite products is proved: let \(G\) be a free profinite product of profinite groups \(G_ t\) on a profinite space \(T\) of indices; then a group \(H\) is a projective product of profinite groups \(G_ t\) if and only if \(H = \langle G_ t^{\lambda(t)} \mid t\in T\rangle\) is a closed subgroup of \(G\) generated by conjugates \(G_ t^{\lambda(t)}\) for some continuous map \(\lambda : T \to G\). It follows from the characterization that projective products of the profinite groups \(G_ t\) can be ordered naturally as subgroups of the free profinite product \(G\). In this sense the free product \(G\) of the profinite groups \(G_ t\) is the largest projective product. The author proves also the existence of a smallest projective product under the condition that all \(G_ t\) are nontrivial.
0 references
free products of profinite groups
0 references
projective product of profinite groups
0 references
projective profinite products
0 references
free profinite products
0 references
free products
0 references