対角行列環は可換