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.