H/K에 있는 연습문제인데
F가 서로 commute한 n x n complex matrix들의 집합일때
dim F의 최대값을 구하는거임
만들어보기론 n+1 정도인거같은데 맞는지는 모르겠고 증명은 더더욱 모르겠음
저런 F안에 있는 행렬을 한번에 삼각화 하는게 이 챕터에서 배운건데 그게 쓸모가 있는지도 의문이고..