For a complex finite-dimensional group representation, the displayed matrices give another group representation: taking inverses and taking the conjugate transpose each reverse multiplication order, so their composition preserves it. This operation is involutive. With the standard Hermitian inner product, an invariant vector subspace for has orthogonal complement invariant for , because . Thus for . It follows that is an irreducible representation exactly when is. No finiteness assumption on the group or unitarity assumption on the group representation is needed.
Articles by others on the same topic
There are currently no matching articles.