Some subgroups defined by identities (Q1409615): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 04:15, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some subgroups defined by identities |
scientific article |
Statements
Some subgroups defined by identities (English)
0 references
16 October 2003
0 references
Let \(B_n(G)\) (resp. \(C_n(G)\)) be the set of all \(x\) in \(G\) such that \([x,g,a_1,\dots,a_n,g]=1\) (resp. \([xa_0,g,a_1,\dots,a_n,g]=[a_0,g,a_1,\dots,a_n,g]\)). The author shows \(B_n(G)=C_n(G)\) and so \(B_n\) is a subgroup in contrast to the fact that \(\{x\mid[x,g,g,g]=1\}\) need not be a subgroup. Furthermore, he obtains for \(x\) in \(B_n(G)\) \[ \begin{multlined} 1=[x,g,a_1,\dots,a_n,h,h]=[x,g,g,a_1,\dots,a_n,h]=[x,g,a_1,\dots,a_n,b,c,d]^2=\\ =[x,g,a_1,\dots,a_n,h][x,h,a_1,\dots,a_n,g]\quad(\text{Theorem 3.1)}.\end{multlined} \] The exceptional role of the prime 2 illustrates the following results: \([B_n(G),{_{n+4}G}]\) is trivial or contains elements of order 2; if \(n\) is even, 4 can be reduced to 3 (Theorem 4.3).
0 references
right-2-Engel elements
0 references
commutator identities
0 references
partial margins
0 references