On the influence of the fixed points of an automorphism to the structure of a group

DOI10.1016/J.JALGEBRA.2020.12.025MaRDI QIDQ2222008zbMATH OpenOpenAlexFDO

Authors M. Yasir Kızmaz

Publication date 3 February 2021

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-closed\(p\)-nilpotencycoprime action

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Automorphisms of abstract finite groups (20D45)

Abstract: Let $alpha$ be a coprime automorphism of a group $G$ of prime order and let $P$ be an $alpha$-invariant Sylow $p$-subgroup of $G$. Assume that $potinpi(C_G(alpha))$. Firstly, we prove that $G$ is $p$-nilpotent if and only if $C_{N_G(P)}(alpha)$ centralizes $P$. In the case that $G$ is $Sz(2^r)$ and $PSL(2,2^r)$-free where $r=|alpha|$, we show that $G$ is $p$-closed if and only if $C_G(alpha)$ normalizes $P$. As a consequences of these two results, we obtain that $GcongPimesH$ for a group $H$ if and only if $C_G(alpha)$ centralizes $P$. We also prove a generalization of the Frobenius $p$-nilpotency theorem for groups admitting a group of automorphisms of coprime order.

Review text

The celebrated Thompson theorem claims that a finite group \(G\) admittig a fixed point free automorphism \(\alpha\) of prime order is always nilpotent. The assumption of this theorem easily leads that the order of \(\alpha\) must be coprime to \(|G|\). This paper aims to expand Thompson's theorem by addressing the case in which \(\mathbf{C}_G(\alpha)\) satisfies certain conditions, where \(\alpha\) is a coprime automorphism of prime order of \(G\), so as to get the existence of a normal Sylow subgroup or a normal \(p\)-complement in \(G\). The first result establishes that if a prime \(p\) does not divide the order of \(\mathbf{C}_G(\alpha)\), then \(G\) has a normal \(p\)-complement if and only if \(\mathbf{C}_{\mathbf{N}_G(P)}(\alpha)\) centralizes \(P\), where \(P\) is an \(\alpha\)-invariant Sylow \(p\)-subgroup of \(G\). For odd primes, this result can be obtained by means of a previous theorem by \textit{P. Flavell} [J. Algebra 300, No. 2, 472--479 (2006; Zbl 1112.20019)]. However, the author does not appeal to it but contributes a novel proof, which includes the case \(p=2\). Another result in the paper is that if \(G\) is \(\mathrm{Sz}(2^r)\) and \(\mathrm{PSL}(2,2^r)\)-free where \(r\) is the order of \(\alpha\), then \(G\) has a normal Sylow \(p\)-subgroup \(P\) if and only if \(\mathbf{C}_G(\alpha)\) normalizes \(P\). Furthermore, in the course of the work the author also obtains an interesting generalization of the Frobenius criterion for \(p\)-nilpotency under the coprime action setting. The proofs of the results depend on the classification of finite simple groups

Recommendations

• Remarks on finite group admitting an automorphism of prime order
• Groups with an automorphism of prime order that is almost regular in the sense of rank
• scientific article; zbMATH DE number 4112866
• scientific article; zbMATH DE number 3869583
• A generalized fixed point free automorphism of prime power order.

Cites work

• Automorphisms and fusion in finite groups.
• Finite group theory.
• FINITE GROUPS WITH FIXED-POINT-FREE AUTOMORPHISMS OF PRIME ORDER
• Fitting height of groups and of fixed points
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 1111401 (Why is no real title available?)
• Maximal subgroups and automorphisms of Chevalley groups
• On Characterizations of Linear Groups III
• Suzuki 2-groups
• The maximal subgroups of the low-dimensional finite classical groups.
• The theory of finite groups. An introduction.

Cited in

(13)

• On finite groups admitting a coprime automorphism of prime order
• Remarks on finite group admitting an automorphism of prime order
• Invariant complements normalized by the fixed point subgroup
• Automorphisms and fusion in finite groups.
• A generalized fixed point free automorphism of prime power order.
• scientific article; zbMATH DE number 3869583 (Why is no real title available?)
• scientific article; zbMATH DE number 4046008 (Why is no real title available?)
• scientific article; zbMATH DE number 4112866 (Why is no real title available?)
• On Thompson's \(p\)-complement theorems for saturated fusion systems.
• New conditions on maximal invariant subgroups that imply solubility
• Some special coprime actions and their consequences
• On CAP-subgroups under the coprime action in finite groups
• A note on an \textit{IC}-property of subgroups of a finite group

This page was built for publication: On the influence of the fixed points of an automorphism to the structure of a group

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