Class Number Relations from a Computational Point of View

Brauer and Kuroda showed in the fifties how in a Galois extension of number fields, relations between permutation characters of subgroups provide relations between invariants, such as the discriminant, class number and regulator, of the corresponding intermediate fields. In this paper we investigate various computational aspects of these relations, we present examples, and we give a method to automatically produce class number formulas.