可換な行列

1. べきは可換
  
1'. 行列多項式は可換
  

2. 対角行列は可換
2'. 同時対角可能な行列は可換
  i.e. 同じ正則行列で対角化可能な行列どうしは可換
  
  

3. 同時標準化可能なら可換？