A short proof to Brauer's third main theorem (Q793836)

Brauer's third main theorem plays an essential role in the block theory of finite groups G. Therefore it is desirable to have a short proof of this result. A block b of a subgroup H of G is admissible, if b has a defect group D such that \(C_ G(D)\leq H\). The unique block \(B_ 0\) containing the trivial representation is called the principal block. Using Brauer's first main theorem and Nagao's lemma, the author gives a quick proof for Brauer's third main theorem: Let b be an admissible block of H. Then \(B_ 0=b^ G\) is the principal block of G if and only if b is the principal block of H.