Let be an odd prime and a finite -group. Hertweck and Soriano parametrize the central Frattini extensions of by subspaces of a relation module , matching isomorphism classes of extensions with orbits of and isomorphism classes of the associated small group rings with orbits of . The discrepancy between the two is measured by the group of displacements induced by the normalized unipotent automorphisms of ; it is the mechanism behind the counterexamples to the modular isomorphism problem in characteristic . We prove that for of exponent and class at most every such automorphism acts on exactly as an automorphism of does, and that , where is the Lazard Lie algebra of , its derivations raising the lower central filtration, and the natural action of derivations on . Hence precisely when every derivation of positive degree acts trivially on . We compute for all groups of class and exponent , obtaining for the Heisenberg groups .

生成讲解博客的中文版本

生成AI智能校验的中文版本