# Irreducibility of Induced Representation

Mackey's test for irreducibility of induced representation over $\mathbb{C}$ is:

Let $G$ be a finite group, $H\leq G$, $W$ be a representation of $H$, and $W^x$ be conjugate representation of $H^x=xHx^{-1}$. Then following are equivalent:

(i) $Ind^G_H(W)$ is irreducible.

(ii) $W$ is irreducible and for each $x\in G\setminus H$, $W$ and $W^x$ have no common irreducible component, when restricted to $H\cap H^x$.

There is question posted, about changing the ground field, and the answer posted is (are) "Yes".

But, $(ii)\Rightarrow (i)$ is true for any field of characteristic zero or prime to $|G|$; how does $(i)\Rightarrow (ii)$ for such fields?

-

No. Over $\mathbb R$ let $G$ be the quaternion group of order $8$, $H$ the subgroup of order $2$, $W$ the nontrivial one-dimensional representation.
Even simpler: induce the nontrivial character of $Z/2$ up to $Z/4$ over $\mathbb{R}$. – Kevin Ventullo Jan 11 '12 at 16:56