THEOREM OF THE DAY: Schur’s Commuting Matrices Bound

Theorem

Over any field, a collection of linearly independent, mutually commuting n × n matrices can have cardinality at most ⌊n2/4⌋ + 1.

Click on the image.