The Mathematical Institute, University of Oxford, Eprints Archive

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

Borge, I. C. (2001) A cohomological approach to the classification of $p$-groups. PhD thesis, University of Oxford.

[img]
Preview
PDF
730Kb

Abstract

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$.

Item Type:Thesis (PhD)
Subjects:A - C > Algebraic geometry
Research Groups:Algebra Research Group
ID Code:40
Deposited By:Eprints Administrator
Deposited On:10 Mar 2004
Last Modified:20 Jul 2009 14:18

Repository Staff Only: item control page