The logbook of Pointed Hopf algebras over the sporadic groups

TL;DR

This paper provides detailed computational proofs using GAP for the classification of pointed Hopf algebras over sporadic simple groups, advancing understanding in algebraic structures related to these groups.

Contribution

It offers a comprehensive set of computational verifications for the classification of pointed Hopf algebras over sporadic simple groups, supplementing previous theoretical results.

Findings

Confirmed classifications through GAP computations

Provided detailed proof structures for theorems

Enhanced understanding of Hopf algebras over sporadic groups

Abstract

In this notes we give details of the proofs performed with GAP of the theorems of our paper "Pointed Hopf Algebras over the Sporadic Simple Groups".