On right \(n\)-Engel subgroups. II. (Q536200): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(4 intermediate revisions by 4 users not shown)
Property / review text
 
This interesting and important paper is a continuation of part I [J. Algebra 324, No. 4, 875-883 (2010; Zbl 1205.20045)] by the same authors. The main object of the paper are ``right \(n\)-Engel subgroups'': A subgroup \(H\) of a group \(G\) is called a right \(n\)-Engel subgroup if all elements of \(H\) are right \(n\)-Engel elements of \(G\). And to speak about the main problem, recall that as a ``Global Application'' of Zel'manov's celebrated solution of the Restricted Burnside Problem, there exists a function \(f\colon\mathbb N\times\mathbb N\to\mathbb N\) such that every nilpotent \(n\)-Engel \(d\)-generator group \(G\) has nilpotency class at most \(f(n,d)\). The latter means \(G\leq Z_{f(n,d)}(G)\) or \([G,{_{f(n,d)}G}]=1\). A natural question is now as follows: If one only assumes that an ``appropriate part'' \(H\) of the group \(G\) has an ``\(n\)-Engel property'', is it possible to find a function \(g\) similar to \(f\) such that \(H\subseteq Z_{g(n,d)}(G)\) or, what is the same thing, \([H,{_{g(n,d)}G}]=1\); or to find some ``similar/near'' consequences of the latter. In part I [loc. cit.], the authors proved some expected (not at all trivial) results by proving a ``Local Application'' of Zel'manov's results on Lie rings. For example, in Theorem 3 of part I the authors answered Question 3.81 of \textit{A. Abdollahi}, [``Engel elements in groups'', in Groups St.~Andrews 2009. Vol. I. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 387, 94-117 (2011)], which is the same as Problem 7.12 of [\textit{V.D. Mazurov} (ed.) and \textit{E.I. Khukro} (ed.), The Kourovka notebook. Unsolved problems in group theory. 17th ed. Novosibirsk: Institute of Mathematics, Russian Academy of Sciences, Siberian Div. (2010; Zbl 1211.20001)]. In this article, the authors prove the ``local'' analogues of Propositions 2.3 and 2.3 and Theorem 2.4 of \textit{A. Abdollahi} and \textit{G. Traustason} [Proc. Am. Math. Soc. 130, No. 10, 2827-2836 (2002; Zbl 1006.20029)] as Theorems 5, 6 and 7. Theorem 4 is proved by using Lemma 3 of part I, some commutator calculus and specifically by an interesting application of the Hall-Petrescu identity. In Section 3, the authors find the least upper bound for the functions given in their Theorems 4, 5, 6 and 7 whenever the subgroup is right \(2\)-Engel.
Property / review text: This interesting and important paper is a continuation of part I [J. Algebra 324, No. 4, 875-883 (2010; Zbl 1205.20045)] by the same authors. The main object of the paper are ``right \(n\)-Engel subgroups'': A subgroup \(H\) of a group \(G\) is called a right \(n\)-Engel subgroup if all elements of \(H\) are right \(n\)-Engel elements of \(G\). And to speak about the main problem, recall that as a ``Global Application'' of Zel'manov's celebrated solution of the Restricted Burnside Problem, there exists a function \(f\colon\mathbb N\times\mathbb N\to\mathbb N\) such that every nilpotent \(n\)-Engel \(d\)-generator group \(G\) has nilpotency class at most \(f(n,d)\). The latter means \(G\leq Z_{f(n,d)}(G)\) or \([G,{_{f(n,d)}G}]=1\). A natural question is now as follows: If one only assumes that an ``appropriate part'' \(H\) of the group \(G\) has an ``\(n\)-Engel property'', is it possible to find a function \(g\) similar to \(f\) such that \(H\subseteq Z_{g(n,d)}(G)\) or, what is the same thing, \([H,{_{g(n,d)}G}]=1\); or to find some ``similar/near'' consequences of the latter. In part I [loc. cit.], the authors proved some expected (not at all trivial) results by proving a ``Local Application'' of Zel'manov's results on Lie rings. For example, in Theorem 3 of part I the authors answered Question 3.81 of \textit{A. Abdollahi}, [``Engel elements in groups'', in Groups St.~Andrews 2009. Vol. I. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 387, 94-117 (2011)], which is the same as Problem 7.12 of [\textit{V.D. Mazurov} (ed.) and \textit{E.I. Khukro} (ed.), The Kourovka notebook. Unsolved problems in group theory. 17th ed. Novosibirsk: Institute of Mathematics, Russian Academy of Sciences, Siberian Div. (2010; Zbl 1211.20001)]. In this article, the authors prove the ``local'' analogues of Propositions 2.3 and 2.3 and Theorem 2.4 of \textit{A. Abdollahi} and \textit{G. Traustason} [Proc. Am. Math. Soc. 130, No. 10, 2827-2836 (2002; Zbl 1006.20029)] as Theorems 5, 6 and 7. Theorem 4 is proved by using Lemma 3 of part I, some commutator calculus and specifically by an interesting application of the Hall-Petrescu identity. In Section 3, the authors find the least upper bound for the functions given in their Theorems 4, 5, 6 and 7 whenever the subgroup is right \(2\)-Engel. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Alireza Abdollahi / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20F45 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20F12 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20F14 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20D15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20F50 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 5888508 / rank
 
Normal rank
Property / zbMATH Keywords
 
right Engel elements
Property / zbMATH Keywords: right Engel elements / rank
 
Normal rank
Property / zbMATH Keywords
 
right Engel subgroups
Property / zbMATH Keywords: right Engel subgroups / rank
 
Normal rank
Property / zbMATH Keywords
 
finite \(p\)-groups
Property / zbMATH Keywords: finite \(p\)-groups / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2010.08.013 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1997018513 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On locally finite 𝑝-groups satisfying an Engel condition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Engelsche Elemente Noetherscher Gruppen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Engel Elements of Soluble Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4389858 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Remark on the Structure of<i>N</i>-Engel Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: On right \(n\)-Engel subgroups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997907 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Die \(A\)-Norm einer Gruppe / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5840069 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5654235 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two-Generator conditions for Residually Finite Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3826720 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 01:01, 4 July 2024

scientific article
Language Label Description Also known as
English
On right \(n\)-Engel subgroups. II.
scientific article

    Statements

    On right \(n\)-Engel subgroups. II. (English)
    0 references
    0 references
    0 references
    16 May 2011
    0 references
    This interesting and important paper is a continuation of part I [J. Algebra 324, No. 4, 875-883 (2010; Zbl 1205.20045)] by the same authors. The main object of the paper are ``right \(n\)-Engel subgroups'': A subgroup \(H\) of a group \(G\) is called a right \(n\)-Engel subgroup if all elements of \(H\) are right \(n\)-Engel elements of \(G\). And to speak about the main problem, recall that as a ``Global Application'' of Zel'manov's celebrated solution of the Restricted Burnside Problem, there exists a function \(f\colon\mathbb N\times\mathbb N\to\mathbb N\) such that every nilpotent \(n\)-Engel \(d\)-generator group \(G\) has nilpotency class at most \(f(n,d)\). The latter means \(G\leq Z_{f(n,d)}(G)\) or \([G,{_{f(n,d)}G}]=1\). A natural question is now as follows: If one only assumes that an ``appropriate part'' \(H\) of the group \(G\) has an ``\(n\)-Engel property'', is it possible to find a function \(g\) similar to \(f\) such that \(H\subseteq Z_{g(n,d)}(G)\) or, what is the same thing, \([H,{_{g(n,d)}G}]=1\); or to find some ``similar/near'' consequences of the latter. In part I [loc. cit.], the authors proved some expected (not at all trivial) results by proving a ``Local Application'' of Zel'manov's results on Lie rings. For example, in Theorem 3 of part I the authors answered Question 3.81 of \textit{A. Abdollahi}, [``Engel elements in groups'', in Groups St.~Andrews 2009. Vol. I. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 387, 94-117 (2011)], which is the same as Problem 7.12 of [\textit{V.D. Mazurov} (ed.) and \textit{E.I. Khukro} (ed.), The Kourovka notebook. Unsolved problems in group theory. 17th ed. Novosibirsk: Institute of Mathematics, Russian Academy of Sciences, Siberian Div. (2010; Zbl 1211.20001)]. In this article, the authors prove the ``local'' analogues of Propositions 2.3 and 2.3 and Theorem 2.4 of \textit{A. Abdollahi} and \textit{G. Traustason} [Proc. Am. Math. Soc. 130, No. 10, 2827-2836 (2002; Zbl 1006.20029)] as Theorems 5, 6 and 7. Theorem 4 is proved by using Lemma 3 of part I, some commutator calculus and specifically by an interesting application of the Hall-Petrescu identity. In Section 3, the authors find the least upper bound for the functions given in their Theorems 4, 5, 6 and 7 whenever the subgroup is right \(2\)-Engel.
    0 references
    right Engel elements
    0 references
    right Engel subgroups
    0 references
    finite \(p\)-groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references