Văn bản này: Diagonalizing matrices over AW*−algebras