A cohomological approach to the classification of $p$-groups

• Main Author: Borge, I. C.
• Published: University of Oxford 2001
• Subjects: 512; Algebraic geometry
• Online Access: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.246353

In this thesis we apply methods from homological algebra to the study of finite $p$-groups. Let $G$ be a finite $p$-group and let $\mathbb{F}_p$ be the field of $p$ elements. We consider the cohomology groups $\operatorname{H}^1(G,\mathbb{F}_p)$ and $\operatorname{H}^2(G,\mathbb{F}_p)$ and the Massey product structure on these cohomology groups, which we use to deduce properties about $G$. We tie the classical theory of Massey products in with a general method from deformation theory for constructing hulls of functors and see how far the strictly defined Massey products can take us in this setting. We show how these Massey products relate to extensions of modules and to relations, giving us cohomological presentations of $p$-groups. These presentations will be minimal pro-$p$ presentations and will often be different from the presentations we are used to. This enables us to shed some new light on the classification of $p$-groups, in particular we give a `tree construction' illustrating how we can `produce' $p$-groups using cohomological methods. We investigate groups of exponent $p$ and some of the families of groups appearing in the tree. We also investigate the limits of these methods. As an explicit example illustrating the theory we have introduced, we calculate Massey products using the Yoneda cocomplex and give 0-deficiency presentations for split metacyclic $p$-groups using strictly defined Massey products. We also apply these methods to the modular isomorphism problem, i.e. the problem whether (the isomorphism class of) $G$ is determined by $\F_pG$. We give a new class $\mathcal{C}$ of finite $p$-groups which can be distinguished using $\mathbb{F}_pG$.