OP-01062 Needs verification Kadison's problem on orthonormal bases of unitaries in II₁ factors OA · II₁ factors · orthonormal bases · Peterson's operator algebra problems · unitaries