9
$\begingroup$

The following conjecture/problem posed in The Kourovka Notebook in 1973 by Ya. G. Berkovich:

Problem 4.13. Prove that every finite non-abelian $p$-group admits an automorphism of order $p$ which is not an inner one. ($p$ as usual denotes a prime number)

I would like to know if anybody knows anything concerning history of this problem.

What I know are as follows: W. Gaschütz has proved in 1966 that every finite $p$-group of order greater than $p$ has a non-inner automorphism of $p$-power order. One year before Gaschütz, H. Liebeck has proved problem 4.13 for $p$-groups of class $2$ whenever $p>2$. The problem in its own is of course interesting, but I think maybe the main motivation to propose the problem is to strengthen Gaschütz's famous result, am I right?

What I really look for is to know: does the problem come from other mathematics problems that people already noted to and they stated it? For example, has it any relation to the classification of finite simple groups?!

I am sorry if you feel my questions are so vague! and I apologize in advance for.

Improve this question
$\endgroup$
2
  • $\begingroup$ You mean Wolfgang Gaschütz, don't you? Please do him the honour of spelling his name correctly. $\endgroup$
    – Johannes Hahn
    Commented Dec 21, 2011 at 18:26
  • $\begingroup$ Yes, Wolfgang Gaschütz is meant. I edited the question accordingly. $\endgroup$
    – Max Horn
    Commented Dec 21, 2011 at 22:19

1 Answer 1

Reset to default
2
$\begingroup$

One relevant recent direction is given in my 2007 paper with Geir Helleloid, The automorphism group of a finite p-group is almost always a p-group. J ALGEBRA vol. 312, (1) 294-329. http://www.sciencedirect.com/science/article/pii/S0021869307000142 also at http://arxiv.org/abs/math/0602039

We show that the automorphism group of a finite p-group is almost always a p-group. The asymptotics in our theorem involve fixing any two of the following parameters and letting the third go to infinity: the lower p-length, the number of generators, and p. The proof depends on a variety of topics: counting subgroups of a p-group; analyzing the lower p-series of a free group via its connection with the free Lie algebra; counting submodules of a module via Hall polynomials; and using numerical estimates on Gaussian coefficients.

Improve this answer
$\endgroup$
2
  • $\begingroup$ I don't know if there is a relation between classification of simple groups and existence of a non-inner automorphism of order p. Have you found some relation in the last year? $\endgroup$
    – Marco Ruscitti
    Commented Oct 29, 2013 at 9:35
  • $\begingroup$ @Marco: not yet! $\endgroup$
    – Alireza Abdollahi
    Commented Oct 29, 2013 at 12:18

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .