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
.
et groupe spécial unitaire complexe d'ordre 
de type 
à coefficients dans
telles que
est un groupe pour 
; on l'appelle groupe unitaire complexe d'ordre 
.
est un groupe pour 
, c'est un sous-groupe de
