Irreducible representations of product of profinite groups It is a standard fact in the representation theory of finite groups that for $G,H$ finite groups, all of the irreducible representations of $G \times H$ are the external tensor product of irreps of $G$ and $H$. Today I was talking to a friend about profinite groups and it got me thinking: "Is (some version of) this result still true?" The fact that so many results from the finite case carry over makes me think that this could be true, but I have no idea how to go about proving it. The standard proof for finite groups uses a counting argument to show that they are all of this form, so certainly some higher-level techniques will be required.
Since we're considering profinite groups, we will definitely want to restrict ourselves to continuous representations on topological vector spaces. If the statement is not true in this generality, are there adjectives we can add that make it true? What if our representations are unitary, or the profinite groups are (topologically) finitely-generated? Any results, no matter the number of hypotheses, would be of interest to me.
 A: This is not even true for finite groups, in this generality, and not even in characteristic $0$. Consider, for example, the group $Q_8 \times C_3$, where $Q_8$ is the quaternion group and $C_3$ is cyclic of order $3$, and consider $\mathbb{Q}$-representations of this direct product. The standard representation $\rho$ of $Q_8$ is not realisable over $\mathbb{Q}$, only $\rho\oplus \rho$ is. $C_3$ has an irreducible $\mathbb{Q}$-representation $\chi$, given by the sum of the two non-trivial irreducible complex characters of $C_3$. Now, $\rho\otimes \chi$ is realisable over $\mathbb{Q}$ and defines a simple $\mathbb{Q}[G]$-module, but it is not of the form $V\otimes W$ for any $\mathbb{Q}[Q_8]$-module $V$ and $\mathbb{Q}[C_3]$-module $W$.
If you wanted to restrict to finite dimensional representations over $\mathbb{C}$, then the statement will be true also for profinite groups, because any continuous complex finite dimensional representation of a profinite group will factor through a finite quotient.
