Products of powers and commutators in free pro-p-groups (Q1104412): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On pro-p-groups with a single defining relator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residual nilpotence and relations in free 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: On free nilpotent quotient groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Produkte von Potenzen und Kommutatoren in freien Gruppen / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:44, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Products of powers and commutators in free pro-p-groups |
scientific article |
Statements
Products of powers and commutators in free pro-p-groups (English)
0 references
1986
0 references
It is known that an (abstract) group with one defining relation \(r=1\) is not a proper power. For pro-p-groups the analogous statement is false: \textit{D. Gildenhuys} [Invent. Math. 5, 357-366 (1968; Zbl 0159.306)] has constructed examples of pro-p-groups, with a single defining relator that is not a p-th power, that nevertheless contain elements of finite order. The question naturally arises of how special such examples are. It is answered by the following Proposition: Every noncyclic pro-p-group with generators \(x_ i\), \(i\in I\), and single defining relation can be presented by a single defining relation \(r=1\), where r is not a proper power (in the free pro-p-group on \(\{x_ i|\) \(i\in I\})\).
0 references
pro-p-groups
0 references
relator
0 references
generators
0 references
free pro-p-group
0 references