Polycyclic group admitting an almost regular automorphism of prime order.

DOI10.1016/J.JALGEBRA.2010.03.015MaRDI QIDQ975115zbMATH OpenOpenAlexFDO

Authors Gérard Endimioni

Publication date 8 June 2010

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

Full work available at URL https://doi.org/10.1016/j.jalgebra.2010.03.015

zbMATH Keywords

almost regular automorphismsfixed-point-free automorphismsHigman functionKreknin functionnilpotent groupspolycyclic groupssubgroups of finite index

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Automorphisms of infinite groups (20E36) Generalizations of solvable and nilpotent groups (20F19) Automorphism groups of groups (20F28) Associated Lie structures for groups (20F40)

Review text

By \textit{J. G. Thompson}'s theorem [Proc. Natl. Acad. Sci. USA 45, 578-581 (1959; Zbl 0086.25101)], if a finite group has a fixed-point-free automorphism of prime order, then the group is nilpotent. By \textit{G. Higman}'s theorem [J. Lond. Math. Soc. 32, 321-334 (1957; Zbl 0079.03203)] the nilpotency class of a (locally) nilpotent group with a fixed-point-free automorphism of prime order \(p\) is bounded above by a function \(h(p)\) of \(p\) only. In the present paper it is proved that if a polycyclic group \(G\) has an automorphism \(\varphi\) of prime order \(p\) with finite fixed-point subgroup (centralizer) \(C_G(\varphi)\), then \(G\) has a subgroup of finite index that is nilpotent of class at most \(h(p)\). The proof does not use Thompson's theorem but relies on Higman's theorem applied to certain finite nilpotent quotients of \(G\). Examples show that \(G\) may not be nilpotent even if \(C_G(\varphi)=1\). It is also not possible to bound the index of a nilpotent subgroup in terms of \(p\) and \(|C_G(\varphi)|\). This is in contrast to the case of locally finite and locally nilpotent groups with such an automorphism, where such bounds do exist (albeit with a worse bound for the nilpotency class of a subgroup, which however still depends only on \(p\)) [\textit{P. Fong}, Osaka J. Math. 13, 483-489 (1976; Zbl 0372.20010), \textit{B. Hartley, T. Meixner}, Arch. Math. 36, 211-213 (1981; Zbl 0447.20014), \textit{E. I. Khukhro}, Mat. Sb. 181, No. 9, 1207-1219 (1990; Zbl 0713.17013), \textit{Yu. A. Medvedev}, J. Algebra 164, No. 3, 877-885 (1994; Zbl 0811.20033)]. In the concluding remarks the author considers a polycyclic group \(G\) with an automorphism \(\varphi\) of arbitrary finite order \(n\) with finite centralizer \(C_G(\varphi)\). For \(n=4\) similar reduction to finite nilpotent quotients of \(G\) makes it possible to use \textit{L. G. Kovács}'s theorem [Math. Z. 75, 277-294 (1961; Zbl 0097.01202)], so then \(G\) has a subgroup of finite index which is centre-by-metabelian. For arbitrary \(n\) it is still unknown whether the derived length of a finite (nilpotent) group with a fixed-point-free coprime automorphism of order \(n\) is bounded. However, such a result is known for Lie algebras as \textit{V. A. Kreknin}'s theorem [Sov. Math., Dokl. 4, 683-685 (1963); translation from Dokl. Akad. Nauk SSSR 150, 467-469 (1963; Zbl 0134.03604], with Kreknin's function \(k(n)\) bounding the derived length of a Lie algebra with a fixed-point-free automorphism of order \(n\). As pointed out to the author by the referee, Kreknin's theorem can be used in the general case to obtain a subgroup of finite index that is soluble of derived length at most \(k(n)+1\).

Recommendations

• Nilpotent periodic groups with an almost regular automorphism of prime order
• On almost regular automorphisms of prime order
• On nilpotent groups having an almost regular automorphism of prime order
• scientific article; zbMATH DE number 1857728
• Almost fixed-point-free automorphisms of prime order.

Cites work

• FINITE GROUPS WITH FIXED-POINT-FREE AUTOMORPHISMS OF PRIME ORDER
• Finite soluble groups containing an element of prime order whose centralizer is small
• Groups and Lie algebras with almost regular automorphisms
• Groups and Rings Having Automorphisms without Non-Trivial Fixed Elements
• Groups with automorphisms that leave only the neutral element fixed
• Groups with regular automorphisms of order four
• scientific article; zbMATH DE number 1120361 (Why is no real title available?)
• scientific article; zbMATH DE number 2107935 (Why is no real title available?)
• scientific article; zbMATH DE number 3323047 (Why is no real title available?)
• scientific article; zbMATH DE number 3109449 (Why is no real title available?)
• LIE RINGS AND LIE GROUPS ADMITTING AN ALMOST REGULAR AUTOMORPHISM OF PRIME ORDER
• On almost regular automorphisms.
• On orders of finite groups and centralizers of p-elements
• Varieties of groups

Cited in

(19)

• Nilpotent periodic groups with an almost regular automorphism of prime order
• On almost regular automorphisms of prime order
• On the centralizer and the commutator subgroup of an automorphism.
• On nilpotent groups having an almost regular automorphism of prime order
• Regular automorphisms of order \(p^2\)
• Groups admitting an automorphism of prime order with finite centralizer.
• The nilpotency class of groups with fixed point free automorphisms of prime order.
• Examples of polycyclic groups with regular automorphisms of order 4.
• ON FINITE GROUPS WITH FIXED-POINT-FREE AUTOMORPHISMS
• scientific article; zbMATH DE number 1857728 (Why is no real title available?)
• On finite soluble groups with almost fixed-point-free automorphisms of noncoprime order.
• Polycyclic groups with automorphisms of order four.
• Almost fixed-point-free automorphisms of soluble groups.
• Almost fixed-point-free automorphisms of prime order.
• Almost fixed-point-free automorphisms of order 2.
• Polycyclic groups equipped with a uniform automorphism of order pq.
• A note on polycyclic groups that have an automorphism with finite Reidemeister number.
• On almost regular automorphisms.
• On a theorem of Rhemtulla on polycyclic groups.

This page was built for publication: Polycyclic group admitting an almost regular automorphism of prime order.

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