<i>p</i> -Divided Lie Rings and <i>p</i> -Groups (Q4948560)

\textit{E. I. Khukhro} [Math. Notes 38, 867-870 (1985); translation from Mat. Zametki 38, 652-657 (1985; Zbl 0598.20024)] conjectured that every finite \(p\)-group admitting an automorphism of order \(p\) with \(p^m\) fixed points contains a subgroup of index bounded by a function of \(p\) and \(m\), and class bounded by a function of \(m\) only. The case \(m=1\) was shown to be true by \textit{C. R. Leedham-Green} and \textit{S. McKay} [Q. J. Math., Oxf. II. Ser. 27, 297-311 (1976; Zbl 0353.20020)], in the form of a result about \(p\)-groups of maximal class. In another paper [J. Lond. Math. Soc. (2) 58, 27-37 (1998)] the author of the paper under review reduced this conjecture (actually a more general one, where the automorphism has order a power of \(p\)) to the analogous conjecture for Lie \(p\)-rings, that is to say, Lie rings whose additive group is a finite \(p\)-group. In the paper under review he proves the conjecture for Lie \(p\)-rings, thereby proving Khukhro's conjecture. An important ingredient in the proof is the use of a new `lifted' Lie ring multiplication, which was anticipated by \textit{A. Shalev} and \textit{E. I. Zel'manov} in their work on pro-\(p\)-groups of finite coclass [Math. Proc. Camb. Philos. Soc. 111, 417-421 (1992; Zbl 0813.20030)]. An expanded exposition of the paper under review constitutes essentially Chapter 14 of the book ``\(p\)-automorphisms of finite \(p\)-groups'' of \textit{E. I. Khukhro} [LMS Lecture Note Series 246, Cambridge University Press (1998; Zbl 0897.20018)].