Operatorii de permutare sunt operatorul liniar restrâns și operatorul liniar , pentru care operatorul este o extensie a operatorului : . Dacă operatorii și sunt definiți pe întreg spațiul (mai mult, nu sunt neapărat mărginiți ), atunci ei fac naveta dacă . În acest caz, operatorii de permutare sunt numiți și navetă [1] . În cazul general, egalitatea este incomod de utilizat ca definiție a permutării, deoarece atunci nici operatorul invers nu va permuta cu dacă nu este definit pe întreg spațiul - atunci operatorii și vor avea domenii diferite de definiție . Uneori, operatorii de permutare folosesc notația: sau [2] [3] .
Într -un spațiu finit-dimensional , operatorilor de permutare corespund matricilor de permutare : . Problema Frobenius este de a determina toate matricele care fac naveta cu o matrice dată . Toate soluțiile problemei Frobenius au forma
unde este o matrice arbitrară care comută cu , este o matrice care duce la forma normală Jordan : . Numărul de soluții liniar independente ale problemei Frobenius este determinat de formula:
unde sunt gradele polinoamelor invariante neconstante ale matricei .
Dacă operatorii liniari dintr-un spațiu finit-dimensional sunt permutabili în perechi, atunci întregul spațiu poate fi împărțit în subspații invariante sub toți operatorii :
astfel încât polinomul minim al oricăruia dintre aceste subspații în raport cu oricare dintre operatori este gradul unui polinom ireductibil [4] .
Operatorii de permutare au întotdeauna un vector propriu comun [5] . Având în vedere un set finit sau infinit de operatori normali permutabili în perechi într-un spațiu unitar , atunci toți acești operatori au un sistem ortonormal complet de vectori proprii comuni . În ceea ce privește matricele , aceasta înseamnă că orice set finit sau infinit de matrici de permutare în perechi poate fi redusă la o formă diagonală prin aceeași transformare unitară [6] .