Namespace ClassFunction 2 theorems
- Solomon's induction theorem for the trivial character
ClassFunction.exists_one_eq_sum_zsmul_induced_one_of_hyperelementary0 below · cited by 1 · depth 13 - Abelian-by-p-group finite groups are monomial
ClassFunction.exists_trace_eq_sum_induced_linearCharacter_of_normal_comm_of_pow_prime_pow_mem0 below · cited by 1 · depth 13