Verification of the ordinary character table of the Baby Monster

Abstract

We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the Atlas of Finite Groups.

Replaced old Section 3 with a reference to the literature