Almost Engel finite and profinite groups

DOI10.1142/S0218196716500405MaRDI QIDQ2821824zbMATH OpenOpenAlexFDO

Authors Evgenii I. Khukhro, Pavel Shumyatsky

Publication date 23 September 2016

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1512.06097

zbMATH Keywords

Engel conditionFitting subgrouplocally nilpotent groupsprofinite groups

Mathematics Subject Classification ID

Special subgroups (Frattini, Fitting, etc.) (20D25) Limits, profinite groups (20E18) Generalizations of solvable and nilpotent groups (20F19) Engel conditions (20F45)

Abstract: Let $g$ be an element of a group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[\mathrm{...}[[x,g],g],dots,g]$ over $xinG$, where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group such that for every $ginG$ there is $n=n(g)$ such that $E_n(g)$ is finite, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent. The proof uses the Wilson--Zelmanov theorem saying that Engel profinite groups are locally nilpotent. In the case of a finite group $G$, we prove that if, for some $n$, $|E_n(g)|leqm$ for all $ginG$, then the order of the nilpotent residual $gamm{a}_{infty}(G)$ is bounded in terms of $m$.

Review text

A group \(G\) is called an Engel group if for every \(x, g \in G\) there is an integer \(n\), depending on \(x\) and \(g\), such that the repeated commutator \([x, \underbrace{g, \dots, g}_{n}]\) vanishes. A group is said to be locally nilpotent if every finitely generated subgroup is nilpotent. Clearly, a locally nilpotent group is an Engel group. \textit{J. S. Wilson} and \textit{E. I. Zelmanov} have proved that the converse holds for profinite groups [J. Pure Appl. Algebra 81, No. 1, 103--109 (1992; Zbl 0851.17007)].NEWLINENEWLINEThe main result of the paper (Theorem 1.1) deals with a profinite group \(G\) such that for every \(g \in G\), there is an \(n\), depending on \(g\), such that the subgroup \(E_{n}(G) = \langle [x, \underbrace{g, \dots, g}_{n}] : x \in G \rangle\) is finite. Such a group is shown to be finite-by-(locally nilpotent).NEWLINENEWLINEThe result admits a quantitative version for finite groups. Let \(E = \cap_{n=1}^{\infty} E_{n}(G)\). Theorem~1.2 states that if \(G\) is a finite group such that there is a bound \(m\) on the size of the \(E(g)\), for \(g \in G\), then the order of the nilpotent residual of \(G\) is bounded in terms of \(n\). A natural consequence for profinite groups is derived.

Recommendations

• On compact Engel groups.
• On profinite groups in which commutators are Engel
• On profinite groups with Engel-like conditions.
• scientific article; zbMATH DE number 7668694
• On groups admitting a word whose values are Engel.
• On locally graded n-Engel and positively n-Engel groups.
• On groups in which Engel sinks are cyclic
• On Residually Finite Groups with Engel-like Conditions
• Almost Engel compact groups
• On profinite groups with automorphisms whose fixed points have countable Engel sinks

Cites work

• Finite groups with an automorphism of prime order whose centralizer has small rank.
• On the p -Length of p -Soluble Groups and Reduction Theorems for Burnside's Problem
• On the length of finite groups and of fixed points
• Some sufficient conditions for a group to be nilpotent

Cited in

(30)

• Groups nearly of prime exponent and nearly Engel Lie algebras
• Adelic profinite groups
• On compact Engel groups.
• Positively finitely related profinite groups
• Almost Engel linear groups
• Almost Engel compact groups
• Orderable groups with Engel-like conditions
• Bounded Engel elements in groups satisfying an identity
• Engel sinks of fixed points in finite groups
• Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks
• On finite groups with an automorphism of prime order whose fixed points have bounded Engel sinks
• On profinite groups with automorphisms whose fixed points have countable Engel sinks
• On profinite groups with Engel-like conditions.
• Groups with finite Engel element
• Strong conciseness of coprime and anti-coprime commutators
• On profinite groups in which commutators are Engel
• A remark on the structure of n-Engel groups
• Finite groups with Engel sinks of bounded rank
• Finite groups with Engel cycles.
• Simple groups of small Engel depth
• scientific article; zbMATH DE number 1154721 (Why is no real title available?)
• Compact groups in which all elements are almost right Engel
• Profinite groups with an automorphism whose fixed points are right Engel
• scientific article; zbMATH DE number 7668694 (Why is no real title available?)
• Finite groups with a soluble group of coprime automorphisms whose fixed points have bounded Engel sinks
• On compact groups with Engel-like conditions
• Finite and profinite groups with small Engel sinks of p-elements
• Compact groups in which commutators have finite right Engel sinks
• Right Engel conditions for orderable groups
• Commuting probability for the Sylow subgroups of a finite group

This page was built for publication: Almost Engel finite and profinite groups

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