Définition
L'ensemble des matrices de type à coefficients dans
telles que
est un groupe pour ; on l'appelle groupe unitaire complexe d'ordre , et on le note .
L'ensemble des matrices de type à coefficients dans
telles que
et est un groupe pour ; on l'appelle groupe spécial unitaire complexe d'ordre ; on le note , c'est un sous-groupe de
.