This survey on the automorphism groups of finite p-groups focuses on three major topics: explicit computations for familiar finite p-groups, such as the extraspecial p-groups and Sylow p-subgroups of Chevalley groups; constructing p-groups with specified automorphism groups; and the discovery of finite p-groups whose automorphism groups are or are not p-groups themselves. The material is presented with varying levels of detail, with some of the examples given in complete detail.
In this survey article, we try to summarize the known results towards the long-standing non-inner automorphism conjecture, which states that every finite non-abelian $p$-group has a non-inner automorphism of order $p$.
In this article we present an extensive survey on the developments in the theory of non-abelian finite groups with abelian automorphism groups, and pose some problems and further research directions.
The paper is intended to be a survey on some topics within the framework of automorphisms of a relatively free groups of infinite rank. We discuss such properties as tameness, primitivity, small index, Bergman property, and so on.
In this short survey article, we try to list maximum number of known results on class preserving automorphisms of finite $p$-groups. We conclude the survey with some interesting (at least for the author) open problems on this topic.
A circulant (di)graph is a (di)graph on n vertices that admits a cyclic automorphism of order n. This paper provides a survey of the work that has been done on finding the automorphism groups of circulant (di)graphs, including the generalisation in which the edges of the (di)graph have been assigned colours that are invariant under the aforementioned cyclic automorphism.
This is a biased survey for the Johnson homomorphisms of the automorphism groups of free groups. We just exposit some well known facts and recent developments for the Johnson homomorphisms and its related topics.
We show that a finite group $G$ admitting an automorphism $α$ such that the function $G\rightarrow G$, $g\mapsto gα(g)$, is bijective is necessarily solvable.
Bumagin-Wise posed the question of whether every countable group can be realised as the outer automorphism group of a finitely generated, residually finite group. We give a partial answer to this problem for recursively presentable groups.
We classify finitely generated, residually finite automorphism-induced HNN-extensions in terms of the residual separability of a single associated subgroup. This classification provides a method to construct automorphism-induced HNN-extensions which are not residually finite. We prove that this method can never yield a "new" counter-example to Gromov's conjecture on the residual finiteness of hyperbolic groups.
We characterize finite $p$-groups $G$ of order up to $p^7$ for which the group of central automorphisms fixing the center element-wise is of minimum possibe order.
We describe the full automorphism group of the power (di)graph of a finite group. As an application, we solve a conjecture proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.
We classify all finite $p$-groups $G$ for which |$Aut_{c}(G)$| attains its maximum value, where $Aut_{c}(G)$ denotes the group of all class preserving automorphisms of $G$ .
We will show that every element of a finitely generated abelian group is automorphically equivalent what we will define to be a {\em representative element} in a {\em repeat-free subgroup}, and for finite abelian groups we can count the number of automorphism classes of elements.
We characterize all finite p-groups G of order p^n(n\leq 6), where p is a prime for n\leq 5 and an odd prime for n = 6, such that the center of the inner automorphism group of G is equal to the group of central automorphisms of G.
In this note, the existence of noninner automorphisms of order 2 for finite 2-groups of coclass 2 is proved. Combining our result with a recent one due to Y. Guerboussa and M. Reguiat (see arXiv:1301.0085), we prove that every finite $p$-group of coclass 2 has a noninner automorphism of order $p$ leaving the center elementwise fixed.
Let G be a right-angled Artin group. We use geometric methods to compute a presentation of the subgroup H of Aut(G) consisting of the automorphisms that send each generator to a conjugate of itself. This generalizes a result of McCool on basis-conjugating automorphisms of free groups.
Let $G$ be a finite group, and assume that $G$ has an automorphism of order at least $ρ|G|$, with $ρ\in\left(0,1\right)$. Generalizing recent analogous results of the author on finite groups with a large automorphism cycle length, we prove that if $ρ>1/2$, then $G$ is abelian, and if $ρ>1/10$, then $G$ is solvable, whereas in general, the assumption implies $[G:\operatorname{Rad}(G)]\leqρ^{-1.78}$, where $\operatorname{Rad}(G)$ denotes the solvable radical of $G$. Furthermore, we generalize an example of Horoševski\uı to show that in finite groups, the quotient of the maximum automorphism orde…
In this paper we study the existence of at least one non-inner automorphism of order p in a finite normally constrained p-group when p is an odd prime.
In this paper we study the existence of at least one non-inner automorphism of order p of a non-abelian finite p-group of coclass 3, where p is a prime integer such that p is different from 3.
The power graph of a group is the graph whose vertex set is the set of nontrivial elements of group, two elements being adjacent if one is a power of the other. We introduce some way for find the automorphism groups of some graphs. As an application We describe the full automorphism group of the power graph of all finite groups. Also we obtain the full automorphism group of power graph of abelian, homocyclic and nilpotent groups
We prove that for any prime number $p$, every finite non-abelian $p$-group $G$ of class 2 has a noninner automorphism of order $p$ leaving either the Frattini subgroup $Φ(G)$ or $Ω_1(Z(G))$ elementwise fixed.
In this paper, we are not limited to considering semi-scalar automorphisms of G as Lindsay N. Childs in 2012 which is a specific case of Aut(G). Some new results in determining the fixed point free automorphisms of G are developed.
An automorphism $α$ of a group $G$ is said to be central if $α$ commutes with every inner automorphism of $G$. We construct a family of non-special finite $p$-groups having abelian automorphism groups. These groups provide counter examples to a conjecture of A. Mahalanobis [Israel J. Math., {\bf 165} (2008), 161 - 187]. We also construct a family of finite $p$-groups having non-abelian automorphism groups and all automorphisms central. This solves a problem of I. Malinowska [Advances in group theory, Aracne Editrice, Rome 2002, 111-127].
In this paper, we show that all Coleman automorphisms of a finite group with self-central minimal non-trivial characteristic subgroup are inner; therefore the normalizer property holds for these groups. Using our methods we show that the holomorph and wreath product of finite simple groups, among others, have no non-inner Coleman automorphisms. As a further application of our theorems, we provide partial answers to questions raised by M. Hertweck and W. Kimmerle. Furthermore, we characterize the Coleman automorphisms of extensions of a finite nilpotent group by a cyclic $p$-group. Lastly, we n…
Bestvina, Feighn and Handel proved that every subgroup of the outer automorphism group, $\textrm{Out}(F_n)$, of the free group of rank $n$ is either virtually finitely generated abelian or contains a nonabelian free group. In this note we consider the more general situation of the outer automorphism group $\textrm{Out}(G)$ of a finitely generated free-by-finite group $G$. We show that $\textrm{Out}(G)$ is translation discrete and that every subgroup of $\textrm{Out}(G)$ is either virtually finitely generated abelian or contains a nonabelian free group.
We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the orbit-signalizer, two finite-state automorphisms are conjugate in $Aut(T)$ if and only if they are conjugate in $FAut(T)$, and that this problem is decidable. We prove that both these conditions are satisfied by bounded automorphisms and establish that the (simultaneous) conjugacy problem in the group of bounded automata is decidable.
We obtain certain results on a finite $p$-group whose central automorphisms are all class preserving. In particular, we prove that if $G$ is a finite $p$-group whose central automorphisms are all class preserving, then $d(G)$ is even, where $d(G)$ denotes the number of elements in any minimal generating set for $G$. As an application of these results, we obtain some results regarding finite $p$-groups whose automorphisms are all class preserving. In particular, we prove that if $G$ is a finite $p$-groups whose automorphisms are all class preserving, then order of $G$ is at least $p^8$ and the …
We generalize the peak-reduction algorithm (Whitehead's theorem) for free groups to a theorem about a general right-angled Artin group A_Gamma. As an application, we find a finite presentation for the automorphism group Aut A_Gamma that generalizes McCool's presentation for the automorphism group of a finite rank free group. We also give consider a stronger generalization of peak-reduction, giving a counterexample and proving a special case.
We study finite p-groups G of coclass upto 4 for which the group Aut_z(G) of all central automorphisms of G is of minimal possible order. As a consequence, we obtain very short and elementary proofs of main results of Sharma and Gumber [7].
Let $G$ be a finite $p$-group such that $x\Z(G) \subseteq x^G$ for all $x \in G- \Z(G)$, where $x^G$ denotes the conjugacy class of $x$ in $G$. Then $|G|$ divides $|\Aut(G)|$, where $\Aut(G)$ is the group of all automorphisms of $G$.
We introduce the notion of the $k$-closure of a group of automorphisms of a locally finite tree, and give several examples of the construction. We show that the $k$-closure satisfies a new property of automorphism groups of trees that generalises Tits' Property $P$. We prove that, apart from some degenerate cases, any non-discrete group acting on a tree with this property contains an abstractly simple subgroup.
We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.
We give a sufficient condition on a finite $p$-group $G$ of nilpotency class 2 so that $\Aut_c(G) = \Inn(G)$, where $\Aut_c(G)$ and $\Inn(G)$ denote the group of all class preserving automorphisms and inner automorphisms of $G$ respectively. Next we prove that if $G$ and $H$ are two isoclinic finite groups (in the sense of P. Hall), then $\Aut_c(G) \cong \Aut_c(H)$. Finally we study class preserving automorphisms of groups of order $p^5$ and prove that $\Aut_c(G) = \Inn(G)$ for all the groups of order $p^5$ except two isoclinism families.
A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of coclass 2, provided that p is odd. Some related results are also proved, and may be considered as interesting independently.
Let $ψ$ be a permutation of a finite set $X$. We define $λ(ψ)$ to be the largest fraction of elements of $X$ lying on a single cycle of $ψ$. For a finite group $G$, we define $λ(G)$ to be the maximum among the values $λ(α)$, where $α$ runs through the automorphisms of $G$. In this paper, we develop tools to deal with questions related to $λ$-values of finite groups and of their automorphisms. As a consequence, we will be able to give a classification, up to a natural notion of isomorphism, of those pairs $(G,α)$ where $G$ is a finite group, $α$ is an automorphism of $G$ and $λ(α)\geq\frac{1}{2…
For each prime $p$ we construct a family $\{G_i\}$ of finite $p$-groups such that $|\Aut (G_i)|/|G_i|$ goes to $0$, as $i$ goes to infinity. This disproves a well-known conjecture that $|G|$ divides $|\Aut(G)|$ for every non-abelian finite $p$-group $G$.
It is proved in [J. Group Theory, {\bf 10} (2007), 859-866] that if $G$ is a finite $p$-group such that $(G,Z(G))$ is a Camina pair, then $|G|$ divides $|\Aut(G)|$. We give a very short and elementary proof of this result.
In this paper we classify all finite 2-groups of class 2 for which every automorphism of order 2 leaving the Frattini subgroup elementwise fixed is inner. We prove that every such group G is isomorphic to Q(n; r) = <a, b| a^{2n}= b^{2r}= 1; a^2^{n-r}= [a, b]> for some positive integers r; n such that 2 < 2r <= n; and every automorphism of Q(n; r) of order 2 leaving the Frattini subgroup elementwise fixed is inner.
A long-standing conjecture asserts that every finite nonabelian $p$-group has a non-inner automorphism of order $p$. In this paper we prove the conjecture for finite $p$-groups of coclass $4$ and coclass $5$ ($p\ge 5$). We also prove the conjecture for an odd order nonabelian $p$-group $G$ with cyclic center satisfying $Z_3(G)\cap C_G(G^pγ_3(G))\le Z(Φ(G))$.
I withdraw my paper from arXiv because there is a technical error in the proof of Theorem 1.1. And because of this error, all the results in the paper are untrue. I am very sorry for this.
An automorphism $α$ of a group $G$ is called a commuting automorphism if each element $x$ in $G$ commutes with its image $α(x)$ under $α$. Let $A(G)$ denote the set of all commuting automorphisms of $G$. Rai [Proc. Japan Acad., Ser. A {\bf 91} (2015), no. 5, 57-60] has given some sufficient conditions on a finite $p$-group $G$ such that $A(G)$ is a subgroup of Aut$(G)$ and, as a consequence, has proved that in a finite $p$-group $G$ of co-class 2, where $p$ is an odd prime, $A(G)$ is a subgroup of Aut$(G)$. We give here very elementary and short proofs of main results of Rai.
We prove that the minimally displaced set of a relatively irreducible automorphism of a free splitting, situated in a deformation space, is uniformly locally finite. The minimally displaced set coincides with the train track points for an irreducible automorphism. We develop the theory in a general setting of deformation spaces of free products, having in mind the study of the action of reducible automorphisms of a free group on the simplicial bordification of Outer Space. For instance, a reducible automorphism will have invariant free factors, act on the corresponding stratum of the bordifica…
We prove that if $G$ is a group of automorphisms of a regular locally finite building which is closed in the compact-open topology and acts Weyl transitively on the building, then $G$ admits just one Hausdorff locally compact $σ$-compact topology compatible with the group operations.
Let $G$ be a finite $p$-group and let Aut$(G)$ denote the full automorphism group of $G$. In the recent past, there has been interest in finding necessary and sufficient conditions on $G$ such that certain subgroups of Aut$(G)$ are equal. We prove a technical lemma and, as a consequence, obtain some new results and short and alternate proofs of some known results of this type.
Let $G$ be a finite non-cyclic $p$-group of order at least $p^3$. If $G$ has an abelian maximal subgroup, or if $G$ has an elementary abelian centre with $C_G(Z(Φ(G))) \ne Φ(G)$, then $|G|$ divides $|\text{Aut}(G)|$.
We classify a large class of small groups of finite Morley rank: $N_\circ^\circ$-groups which are the infinite analogues of Thompson's $N$-groups. More precisely, we constrain the $2$-structure of groups of finite Morley rank containing a definable, normal, non-soluble, $N_\circ^\circ$-subgroup.
