Title:

Cohomology and the subgroup structure of a finite soluble group

The main topic of this thesis is the discovery and study of a cohomological property of the subgroups called Fnormalizers in finite soluble groups; namely, the property that with certain coefficient modules the restriction map in cohomology from a soluble group to its Fnormalizers vanishes in nonzero degrees. Chapter 3 is devoted to a proof of this fact It turns out that in some classes of soluble groups the Fnormalizers are characterized by this property, and the study of these classes occupies Chapters 4 and 5. Various connections with cohomology and group theory are found; the approach seems to offer some unification of disparate results from the theory of soluble groups. The relation between Fnormalizers and cohomology was discovered through study of the work of Jacques Thevenaz on the action of a soluble group on its lattice of subgroups. Chapter 1 is a summary of this work and its background, and is included to provide motivation. A link with the rest of the thesis arises through a new result, in which certain subgroups crucial to Thevenaz's analysis of soluble groups are shown to coincide with their system normalizers. A proof of this is given in Chapter 2, which also contains some miscellaneous results on soluble groups from the class considered by Thevenaz, comprising those groups whose lattices of subgroups are complemented. The problem of characterizing Fnormalizers in soluble groups by the results of Chapter 3 is proposed in Chapter 4, and in Chapters 4 and 5 two essentially different approaches to this problem are taken, which lead to partial solutions in different sets of circumstances. In Chapter 4, the first cohomology groups of soluble groups are considered, and an application is given to a proof of a recent theorem of Volkmar Welker described in Chapter 1 on the homotopy type of the partially ordered set of conjugacy classes of subgroups of a soluble group. Another application is to the study of local conjugacy of subgroups of soluble groups, and these are combined in a result which shows that the set of conjugacy classes considered by Welker is homotopy equivalent to an analogous set obtained from local conjugacy classes. In Chapter 5 some known results on the local conjugacy of Fnormalizers are exhibited, as evidence for a cohomological characterization of these subgroups. The results are used to study groups of plength one by a 'local' analysis, whereby the problem of characterizing Fnormalizers is translated into a question concerning the action of automorphisms on the cohomology rings of pgroups. In the study of this question a natural place to start is the case of abelian groups, whose cohomology rings are known; calculations in this case lead to results on the Fnormalizers of Agroups. The question is then considered for other pgroups, revealing an elegant relationship between the cohomology of pgroups, the theory of varieties, and some wellknown results on automorphisms of pgroups.
