Full Description
This monograph develops the Gröbner basis methods needed to perform efficient state-of- the-art calculations in the cohomology of finite groups. Results obtained include the first counterexample to the conjecture that the ideal of essential classes squares to zero. The context is J.F. Carlson's minimal resolutions approach to cohomology computations.
Contents
Introduction.- Part I Constructing minimal resolutions: Bases for finite-dimensional algebras and modules; The Buchberger Algorithm for modules; Constructing minimal resolutions.- Part II Cohomology ring structure: Gröbner bases for graded commutative algebras; The visible ring structure; The completeness of the presentation.- Part III Experimental results: Experimental results.- A. Sample cohomology calculations.- Epilogue.- References.- Index.