Hello Dan. Strictly spoken I sum not over generators, but over the whole group. That is the trick that
Conjugate[T[a]] . H . T[a] equals H.
The details are outlined in the text cited.
Correction: it must be of course
TransposeConjugate[T[a]] . H . T[a] equals H.