Описываются с точностью до унитарной эквивалентности неприводимые системы (A₁,A₂,...,Ak), состоящие из k унитарных операторов, таких, чтоAini=I for i=1,..., k, и A₁A₂...Ak=λI, где набор (n₁,...,nk) cоответствует одному из ...