Regular automorphisms of order p²

Abstract

Let G be a group, and let α be a regular automorphism of order p² of G, where p is a prime. If G is polycyclic-by-finite and the map ϕ : G →G defined by g^ϕ= [g,α] is surjective, then G is soluble. If G is polycyclic, then C_G(α^p) and G/[G,α^p] are both nilpotent-by-finite.

Keywords

Polycyclic group / regular automorphism / residually finite

References

[1] Burnside W. Theory of Groups of Finite Order. 2nd ed. New York: Dover Publications Inc, 1955

[2] Endimioni G. Polycyclic groups admiting an almost regular automorphism of prime order. J Algebra, 2010, 323: 3142–3146

[3] Endimioni G, Moravec P. On the centralizer and the commutator subgroup of an automorphism. Monatsh Math, 2012, 167: 165–174

[4] Higman G. Groups and rings which have automorphisms without non-trivial fixed elements. J Lond Math Soc, 1957, 32: 321–334

[5] Neumann B H. Group with automorphisms that leave only the neutral element fixed. Arch Math, 1956, 7: 1–5

[6] Rickman B. Groups which admit a fixed-point-free automorphism of order p².J Algebra, 1979, 59: 77–171

[7] Robinson D J S. A Course in the Theory of Groups. 2nd ed. New York: Springer- Verlag, 1996

[8] Thompson J. Finite groups with fixed-point-free automorphisms of prime order. Proc Natl Acad Sci USA, 1959, 45: 578–581

[9] Xu T, Liu H. On regular automorphisms of soluble groups of finite rank. Chinese Ann Math Ser A, 2014, 35(5): 543–550 (in Chinese)

[10] Xu T, Liu H. Polycyclic groups admitting a regular automorphism of order four. Acta Math Sin (Engl Ser), 2017, 33(4): 565–570

RIGHTS & PERMISSIONS

Higher Education Press and Springer-Verlag GmbH Germany, part of Springer Nature