Si donc
est état propre de l'observable
avec
la valeur propre
:
![]() |
il en résulte immédiatement :
![]() |
quelle que soit la permutation induite
. La valeur propre
est donc apparemment dégénérée, puisqu'il existe
permutations
indépendantes. L'ordre de dégénérescence est égal à
. Cette
dégénérescence systématique de toute valeur propre s'appelle la
dégénérescence d'échange.