On Frobenius and tensor induction. (Q2466495)

Tensor inducing a Frobenius induced class function leads to a sum of class functions where each summand is given by first tensor induction, then Frobenius induction. In this paper the question is treated how to describe the class function resulting from applying tensor induction to a sum of class functions or to a class function induced from a subgroup. In order to do so, the concept of conjugation families and their induction is used. The idea is to attach not only the point stabiliser \(G_s\) to every element \(s\) of some \(G\)-set \(S\), but also a class function \(\theta_s\) of \(G_s\). It includes restriction, addition, multiplication, ordinary (Frobenius) induction and tensor induction of class functions. The question above has its answer in Theorem 22: Frobenius induction followed by tensor induction can be replaced by tensor induction followed by Frobenius induction. As a corollary, one observes that tensor induction of a sum of monomial characters leads again to a sum of monomial characters.