Some commutativity criteria (Q2277577): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: John C. Lennox / rank | |||
Property / reviewed by | |||
Property / reviewed by: Bernhard Neumann / rank | |||
Property / author | |||
Property / author: John C. Lennox / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Bernhard Neumann / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3485070 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3265704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3661792 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3953970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4100111 / rank | |||
Normal rank |
Latest revision as of 16:18, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some commutativity criteria |
scientific article |
Statements
Some commutativity criteria (English)
0 references
1990
0 references
The authors define the group G to be a \(P_ n\)-group if every two sets of n elements of G commute (that is \(XY=YX\) whenever X and Y are sets of elements of G such that \(| X| =| Y| =n)\). They prove that for every positive integer n, infinite \(P_ n\)-groups are abelian (Theorem B). They then define the class \(P_ n^*\) as the class of groups in which every infinite set of sets of n elements contains a pair of different commuting sets. It is known that the \(P^*_ 1\)-groups are the centre-by-finite groups (Theorem A). The authors show that infinite \(P^*_ 2\)-groups and infinite \(P^*_ 3\)-groups are abelian (Corollaries 1 and 2), and conjecture that the same holds for infinite \(P^*_ n\)-groups for all integers \(n\geq 2\). In this direction they prove that this is true if the group in question has an infinite abelian subgroup (Theorem C) or if it is finitely generated and has an infinite proper subgroup (Theorem D).
0 references
commutativity
0 references
infinite \(P_ n\)-groups
0 references
commuting sets
0 references
centre-by-finite groups
0 references
infinite \(P^ *_ n\)-groups
0 references
infinite abelian subgroup
0 references
finitely generated
0 references