Introduction

Abstract

The motivation for this book is the desire to perform complete calculations of cohomology rings in the cohomology theory of finite groups. The theories presented here belong to that area of computational algebra known as noncommutative Gröbner bases. It happens that existing Gröbner basis methods perform particularly poorly here, and so new types of Gröbner bases had to be developed, informed by practical computability considerations.