Zu zwei Diagonalmatrizen
-
und Skalare ist auch
ebenfalls eine Diagonalmatrix, daher liegt ein Untervektorraum vor. Die Diagonalmatrizen
, ,
deren -ter Diagonaleintrag eine ist und die sonst überall Nulleinträge haben, bilden offenbar eine
Basis
des Raumes der Diagonalmatrizen. Daher ist die Dimension gleich
.