Article
Keywords:
polycyclic group; regular automorphism; surjectivity
Summary:
In this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann's result, and prove that if $\alpha $ is an automorphism of order four of a polycyclic group $G$ and the map $\varphi \colon G\rightarrow G$ defined by $g^{\varphi }=[g,\alpha ]$ is surjective, then $G$ contains a characteristic subgroup $H$ of finite index such that the second derived subgroup $H''$ is included in the centre of $H$ and $C_{H}(\alpha ^{2})$ is abelian, both $C_{G}(\alpha ^{2})$ and $G/[G,\alpha ^{2}]$ are abelian-by-finite. These results extend recent and classical results in the literature.
References:
[4] Gorenstein, D.:
Finite Groups. Harper's Series in Modern Mathematics, Harper and Row, Publishers New York (1968).
MR 0231903 |
Zbl 0185.05701
[7] Lennox, J. C., Robinson, D. J. S.:
The Theory of Infinite Soluble Groups. Oxford Science Publications Oxford (2004).
MR 2093872 |
Zbl 1059.20001
[9] Robinson, D. J. S.:
A Course in the Theory of Groups. Springer New York (1996).
MR 1357169
[10] Shmel'kin, A. L.:
Polycyclic groups. Sib. Math. J. Russian 9 (1968), 234-235.
Zbl 0203.32602
[11] Tao, X., Heguo, L.: Polycyclic groups admitting an automorphism of prime order. Submitted to Ukrainnian Math. J.