On finite groups with an automorphism of prime order whose fixed points have bounded Engel sinks

DOI10.1007/S00574-021-00249-6MaRDI QIDQ2115174zbMATH OpenOpenAlexFDO

Authors Pavel Shumyatsky, Evgenii I. Khukhro

Publication date 15 March 2022

Published in Bulletin of the Brazilian Mathematical Society. New Series (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

automorphismEngel conditionfinite groupsFtting subgroup

Mathematics Subject Classification ID

Special subgroups (Frattini, Fitting, etc.) (20D25) Automorphisms of abstract finite groups (20D45) Engel conditions (20F45)

Abstract: A left Engel sink of an element $g$ of a group $G$ is a set $mathscrE(g)$ such that for every $xinG$ all sufficiently long commutators $[\mathrm{...}[[x,g],g],dots,g]$ belong to $mathscrE(g)$. (Thus, $g$ is a left Engel element precisely when we can choose $mathscrE(g)=1$.) We prove that if a finite group $G$ admits an automorphism $varphi$ of prime order coprime to $|G|$ such that for some positive integer $m$ every element of the centralizer $C_G(varphi)$ has a left Engel sink of cardinality at most $m$, then the index of the second Fitting subgroup $F_2(G)$ is bounded in terms of $m$. A right Engel sink of an element $g$ of a group $G$ is a set $mathscrR(g)$ such that for every $xinG$ all sufficiently long commutators $[\mathrm{...}[[g,x],x],dots,x]$ belong to $mathscrR(g)$. (Thus, $g$ is a right Engel element precisely when we can choose $mathscrR(g)=1$.) We prove that if a finite group $G$ admits an automorphism $varphi$ of prime order coprime to $|G|$ such that for some positive integer $m$ every element of the centralizer $C_G(varphi)$ has a right Engel sink of cardinality at most $m$, then the index of the Fitting subgroup $F_1(G)$ is bounded in terms of $m$.

Review text

A left Engel sink of an element \(g\) of a group \(G\) is a set \(\mathcal E(g)\) such that for every \(x \in G\) all sufficiently long commutators \([\dots[[x, g], g],\dots, g]\) belong to \(\mathcal E(g)\), while a right Engel sink of an element \(g\) of a group \(G\) is a set \(\mathcal R(g)\) such that for every \(x \in G\) all sufficiently long commutators \([\dots [[g, x], x],\dots, x]\) belong to \(\mathcal R(g)\). Let \(C_G(\varphi):=\{g\in G|g^\varphi=g\}\) be the fixed points of \(\varphi\), which is also called the centralizer of \(\varphi\) in \(G\). The main results of the paper under review are the following. Theorem 1.3. Let \(G\) be a finite group admitting an automorphism \(\varphi\) of prime order coprime to \(|G|\). Let \(m\) be a positive integer such that every element \(g\) in the the centralizer \(C_G(\varphi)\) has a left Engel sink \(\mathcal{E}(g)\) of cardinality at most \(m\). Then \(G\) has a metanilpotent normal subgroup of index bounded in terms of \(m\) only. Theorem 1.4. Let \(G\) be a finite group admitting an automorphism \(\varphi\) of prime order coprime to \(|G|\). Let \(m\) be a positive integer such that every element \(g\in C_G(\varphi)\) has a right Engel sink \(\mathcal{R}(g)\) of cardinality at most \(m\). Then \(G\) has a nilpotent normal subgroup of index bounded in terms of \(m\) only. The conclusion for right Engel sinks is stronger. Note that while it is well-known that the inverse of a right Engel element is left Engel, there is no such a straightforward connection between left and right Engel sinks, and Theorem 1.4 is not a consequence of Theorem 1.3.

Recommendations

• Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks
• Engel sinks of fixed points in finite groups
• On finite groups with automorphisms whose fixed points are Engel.
• On profinite groups with automorphisms whose fixed points have countable Engel sinks
• Finite groups with Engel sinks of bounded rank

Cites work

• Almost Engel compact groups
• Almost Engel finite and profinite groups
• Compact groups in which all elements are almost right Engel
• Compact groups in which all elements have countable right Engel sinks
• Compact groups with countable Engel sinks
• Eine Bemerkung über engelsche Elemente
• Endliche Gruppen I
• Engel sinks of fixed points in finite groups
• Engel-like conditions in fixed points of automorphisms of profinite groups
• Exponent of a finite group admitting a coprime automorphism
• Finite groups with Engel sinks of bounded rank
• FINITE GROUPS WITH FIXED-POINT-FREE AUTOMORPHISMS OF PRIME ORDER
• Finite soluble groups containing an element of prime order whose centralizer is small
• Frobenius groups of automorphisms and their fixed points
• scientific article; zbMATH DE number 3724683 (Why is no real title available?)
• scientific article; zbMATH DE number 591195 (Why is no real title available?)
• Identities for Lie algebras of pro-\(p\) groups
• On groups with automorphisms whose fixed points are Engel
• On nil-algebras and finitely approximable 𝑝-groups
• On the generalized Fitting height and insoluble length of finite groups
• Profinite groups and centralizers of coprime automorphisms whose elements are Engel
• Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks
• Profinite groups with an automorphism whose fixed points are right Engel
• RIGHT ENGEL-TYPE SUBGROUPS AND LENGTH PARAMETERS OF FINITE GROUPS

Cited in

(6)

• 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 automorphisms whose fixed points are Engel.
• Finite groups with Engel sinks of bounded rank
• Finite groups with a soluble group of coprime automorphisms whose fixed points have bounded Engel sinks
• On groups with automorphisms whose fixed points are Engel

This page was built for publication: On finite groups with an automorphism of prime order whose fixed points have bounded Engel sinks

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