The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its character). I want to decompose $Ind^G_H(\rho)$ into irreducibles. I am given character tables of both $G$ and $H$.
If $K$ were $\mathbb{C}$, Frobenius reciprocity (https://planetmath.org/FrobeniusReciprocity) will do the trick. However, I am in the modular case; meaning: $char(K)||H|$. I still have all the character tables, except now they are Brauer character tables for the correct characteristic.
Is there a method for decomposing $Ind^G_H(\rho)$ into irreducible (Brauer) characters?
Edit: I wanted to make clear that since in the modular case we don't have Maschke's theorem, the “decomposition'' into irreducibles would be in the Grothendieck group of Brauer characters of $G$. (representations of $G$ wouldn't nec. be direct sums of irreducible representations)
Best Answer
Frobenius reciprocity for Brauer characters is a little more complicated (a lot more complicated if you don't have complete tables). You need the projective characters to compute the multiplicities. I don't use anything special about the character being induced, though sometimes you can leverage that information (especially if you don't have complete tables).
In GAP, this is easily done:
To get the decomposition matrix, you must not only have the Brauer table but also the ordinary table. You don't need much from the subgroup H, just a character to induce and the element fusion from H into G.
This is theorem 2.13 on page 25 of Navarro's textbook on Characters and Blocks of Finite Groups.
By projective, I mean in the module theory sense, an indecomposable direct summand of the regular representation, usually these are denoted Φi corresponding to a Brauer character φi. I don't mean representation into projective groups, like PGL.