Fitting cores and supersolvable groups

Let A be a group. What can be said about the group B to ensure that A and the normal product AB belong to the same prescribed class of groups? Results in this direction are given for the classes of supersolvable groups, absolutely solvable groups and Lagrange groups.     

Translation invariance in groups of prime order

We prove that there is an absolute constant c>0 with the following property: if Z/pZ denotes the group of prime order p, and a subset A⊂Z/pZ satisfies 1<|A|<p/2, then for any positive integer there are at most 2m non-zero elements b∈Z/pZ with |(A+b)?A|?m. This (partially) extends onto prime-order groups the result, established earlier by S. Konyagin and the present author for the group of integers. We notice that if A⊂Z/pZ is an arithmetic progression and m<|A|<p/2, then there are exactly 2m non-zero elements b∈Z/pZ with |(A+b)?A|?m. Furthermore, the bound c|A|/ln|A| is best possible up to the value of the constant c. On the other hand, it is likely that the assumption can be dropped or substantially relaxed.     

Modular Lie representations of groups of prime order

Let K be a field of prime characteristic p and let G be a group of order p. For any finite-dimensional KG-module V and any positive integer n let L ⁿ (V) denote the nth homogeneous component of the free Lie K-algebra generated by (a basis of) V. Then L ⁿ (V) can be considered as a KG-module, called the nth Lie power of V. The main result of the paper is a formula which describes the module structure of L ⁿ (V) up to isomorphism. Mathematics Subject Classification (2000): 17B01, 20C20.     

Finite quantum groups over abelian groups of prime exponent

We classify pointed finite-dimensional complex Hopf algebras whose group of group-like elements is abelian of prime exponent p, p>17. The Hopf algebras we find are members of a general family of pointed Hopf algebras we construct from Dynkin diagrams. As special cases of our construction we obtain all the Frobenius-Lusztig kernels of semisimple Lie algebras and their parabolic subalgebras. An important step in the classification result is to show that all these Hopf algebras are generated by group-like and skew-primitive elements.     

Point-symmetric graphs and digraphs of prime order and transitive permutation groups of prime degree

In this paper the following two problems are solved: Given any point-symmetric graph or digraph Γ of prime order the automorphism group of Γ is explicitly determined and given any transitive permutation group G of prime degree p the number of digraphs and graphs of order p having G as their automorphism group is determined.     

Automorphisms fixing elements of prime order in finite groups

Let σ be an automorphism of a finite group G and suppose that σ fixes every element of G that has prime order or order 4. The main result of this paper shows that the structure of the subgroup H=[G, σ] is severely limited in terms of the order n of σ. In particular, H has exponent dividing n and it is nilpotent of class bounded in terms of n.     

The Noether numbers for cyclic groups of prime order

The Noether number of a representation is the largest degree of an element in a minimal homogeneous generating set for the corresponding ring of invariants. We compute the Noether number for an arbitrary representation of a cyclic group of prime order, and as a consequence prove the “2p−3 conjecture.”     

TheS 3-conjecture for solvable groups

This paper solves theS ₃-conjecture for solvable groups proving that a nontrivial finite solvable group in which no two distinct conjugacy classes have the same order is isomorphic toS ₃.