Below any mass M, there are only finite number of particle types
Any two-particle state undergoes some reaction at almost all energies
The amplitude for elastic two body scattering are analytic functions of scattering angle at almost all energies,
and that has non-trivial interactions can only have a Lie group symmetry which is always a direct product of the Poincaré group and an internal group if there is a mass gap: no mixing between these two is possible. As the authors say in the introduction to the 1967 publication, "We prove a new theorem on the impossibility of combining space-time and internal symmetries in any but a trivial way."
The first condition for the theorem is that the unified group "G contains a subgroup locally isomorphic to the Poincare group." Therefore, the theorem only makes a statement about the unification of the Poincare group with an internal symmetry group. However, if the Poincare group is replaced with a different spacetime symmetry, for example, with the de Sitter group the theorem no longer holds, an infinite number of massless bosonic Higher Spin fields is required to exist however In addition, if all particles are massless the Coleman–Mandula theorem allows a combination of internal and spacetime symmetries, because the spacetime symmetry group is then the conformal group.
Note that this theorem only constrains the symmetries of the S-matrix itself. As such, it places no constraints on spontaneously broken symmetries which do not show up directly on the S-matrix level. In fact, it is easy to construct spontaneously broken symmetries which unify spatial and internal symmetries.
Discreteness
This theorem also only applies to discrete Lie algebras and not continuous Lie groups. As such, it does not apply to discrete symmetries or globally for Lie groups. As an example of the latter, we might have a model where a rotation by τ is an involutive internal symmetry which commutes with all the other internal symmetries. If there is no mass gap, it could be a tensor product of the conformal algebra with an internal Lie algebra. But in the absence of a mass gap, there are also other possibilities. For example, quantum electrodynamics has vector and tensor conserved charges. See infraparticle for more details.
Supersymmetry
may be considered a possible "loophole" of the theorem because it contains additional generators that are not scalars but rather spinors. This loophole is possible because supersymmetry is a Lie superalgebra, not a Lie algebra. The corresponding theorem for supersymmetric theories with a mass gap is the Haag–Łopuszański–Sohnius theorem. Quantum group symmetry, present in some two-dimensional integrablequantum field theories like the sine-Gordon model, exploits a similar loophole.
Generalization for Higher Spin Symmetry
It was proven that conformal theories with higher-spin symmetry are not compatible with interactions.