Skip to main content
2 of 3
edited title; added 14 characters in body
Joël
  • 26k
  • 2
  • 96
  • 193

Good effective versions of theorems of Artin and Brauer

The theorem of Artin and Brauer of the title are the famous theorem in the theory of representation of finite groups.

For example, Artin's theorem is the statement that for every character $\chi$ of a finite group $G$, there are a sequence of cyclic subgroups $H_1,\dots,H_r$ (possibly with repetition), one-dimensional characters $\chi_i$ of $H_i$ for $i=1,\dots,r$, signs $\epsilon_i = \pm 1$ for $i=1,\dots,r$ and an integer $d \geq 1$, such that $$(1)\ \ \ \ \ \chi = \frac{1}{d} \sum_{i=1}^r \varepsilon_i \ Ind_{H_i}^G \chi_i.$$ Brauer's theorem states similarly that if we weaken the assumption that the $H_i$ are cyclic, assuming just that they are elementary, then such a writing (1) exists with $d=1$.

I'd like to know if there is a version of these theorems with an explicit control of the complexity of the writing (1) in term of $\chi(1)$ and perhaps of $|G|$. More specifically, if all the $\epsilon_i$ were $+1$, then one one would have $\frac{1}{d} \sum_i [G:H_i] = \chi(1)$ . In general of course, the $\epsilon_i$ can be $+1$ or $-1$, and $\frac{1}{d} \sum_{i=1}^r [G:H_i]$ will be larger that $\chi(1)$ but

Do you know a version a version of Artin or Braueur with an explicit bound on $\frac{1}{d} \sum_{i=1}^r [G:H_i]$ in terms of $\chi(1)$ and $|G|$, or a place where can I find some ?

In the case of the Brauer's theorem, one has $d=1$, so the question is simply to get a bound on $\sum_{i=1}^r [G:H_i]$. That would also directly give a bound on $r$, the number of subgroups $H_i$ involved, and I would be also interested in a version with such a bound on $r$. In the case of Artin's theorem, there is the further and orthogonal question of finding a bound on $d$, but that is not what primarily interests me here.

It seems pretty clear to me that the usual proofs (e.g. In Serre's book on representation of finite groups) of Artin and Braueur are effective, so give an upper bound as asked but a huge one. I am looking for something better, or even the best possible bound if it is known.

Joël
  • 26k
  • 2
  • 96
  • 193