Strictly, it is the infinitesimal generators, not every unitary matrix with unit determinant, that are traceless. For a continuous one-parameter family , unitarity requires the generator to be Hermitian. The determinant condition gives
Differentiating at yields . A Hermitian matrix has real diagonal parameters and real off-diagonal parameters; one real trace constraint leaves independent generators. Thus
The identity matrix supplies a concrete counterexample to interpreting the claim as one about arbitrary group elements: but . Also, at a single parameter value only fixes the trace modulo ; the continuous neighbourhood is essential.

Articles by others on the same topic (0)

There are currently no matching articles.