Some subgroups defined by identities

MaRDI QIDQ1409615zbMATH OpenFDO

Authors Wolfgang P. Kappe

Publication date 16 October 2003

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

commutator identitiespartial marginsright-2-Engel elements

Mathematics Subject Classification ID

Quasivarieties and varieties of groups (20E10) Commutator calculus (20F12) Derived series, central series, and generalizations for groups (20F14) Engel conditions (20F45)

Review text

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).

Recommendations

• Partial generalization of one of Macdonald's results.
• scientific article; zbMATH DE number 5380271
• On B(n,k) 2-groups.
• On groups whose every proper subgroup is a Bn -group
• On B(4,13) 2-groups.

Cited in

(4)

• On subsets and subgroups defined by commutators and some related questions
• scientific article; zbMATH DE number 1116816 (Why is no real title available?)
• SOME IDENTITIES IN GROUPS
• 2-Engel relations between subgroups

This page was built for publication: Some subgroups defined by identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1409615)