  We study unitary representations of groups in Krein spaces, irreducibility
criteria and integral decompositions. Our main tool is the theory of Krein
subspaces and their (reproducing) kernels and a variant of Choquet's theorem.
