MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have asked this question on Stack Exchange but had no response; it's been bugging me for a few days. I am struggling to see how to apply Mackey's theorem to prove a certain Lemma in Local representation theory by JL Alperin.

Lemma Let $b$ be a block of the subgroup $H$ of $G$ and let $D$ be a defect group of $b$. If $b^G$ is defined, i.e. if there exists a unique block $b^G$ of $G$ such that $b\mid B_{H\times H}$, then $D$ is contained in a defect group of $b^G$.

Proof. Let $E$ be a defect group of $B=b^G$, so that $B$ has vertex $\delta(E)$ (as a $k(G\times G)$-module). The proof comes down to the following statement which I don't understand: since $b\mid B_{H\times H}$, it follows from Mackey's theorem that the vertex $\delta(D)$ of $b$ is conjugate in $G\times G$ with a subgroup of $\delta(E)$.

Would someone be able to explain this statement to me, i.e. how Mackey's theorem is used here? I understand that we need to prove that $b$ is relatively $\delta(E)$-projective.


share|cite|improve this question
up vote 6 down vote accepted

This is an exercise in writing out the definitions: since the defect group of $B$ is $E$, we have $B|(B_{\delta(E)})^{G\times G}$. So by assumption, $$ b\;|\;B_{H\times H}\;|\;\left((B_{\delta(E)})^{G\times G}\right)_{H\times H}=\bigoplus_{(g_1,g_2)\in \delta(E)\backslash G\times G/H\times H}\left(B_{\delta(E)^{(g_1,g_2)}\cap H\times H}\right)^{H\times H}, $$ which means that $b$ divides one of the summands (since $b$ is simple). Say $b|M^{H\times H}$, where $M$ is a $(\delta(E)^{(g_1,g_2)}\cap H\times H)$-module. So the vertex of $b$ is some subgroup of that intersection, and in particular a subgroup of $\delta(E)^{(g_1,g_2)}$, as required.

share|cite|improve this answer
Thanks, for some reason I missed the important observation that $B\mid (B_{\delta(E)})^{G\times G}$ -- of course this just comes from the definition of a vertex (since every module $V$ is relatively $Vertex(V)$-projective). – Clinton Boys Sep 10 '11 at 7:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.