ένας
διαγώνιος πίνακας με χαρακτηριστικό πολυώνυμο
όπου οι
είναι διακεκριμένοι (πράγμα που σημαίνει ότι το
εμφανίζεται
φορές στη διαγώνιο, το
εμφανίζεται
φορές στη διαγώνιο, κ.ο.κ., και
). Έστω
ο χώρος όλων των
πινάκων
τέτοιων ώστε να ισχύει
. Να δειχθεί ότι η διάσταση του
είναι

