群 "g" の既約指標のなす集合をirr("g")とおく。