Some steps in the verification of the ordinary character table of the Baby Monster group

TL;DR

This paper details specific computational steps involved in verifying the ordinary character table of the Baby Monster group, building on previous work.

Contribution

It provides detailed computational verification methods for the Baby Monster group's character table, extending prior partial results.

Findings

Verification of the character table completed

Computational techniques validated for large groups

Supports the classification of sporadic groups

Abstract

We show the details of certain computations that are described in [BMW19].