Brauer and Kuroda showed in the fifties how in a Galois extension of number fields, relations between permutation characters of subgroups provide relations between in- variants, 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.
展开▼