/sci/ - Science & Math

>>11955440
You can, and that's an improvement.
But you can definitely do slicker.
For example, if we consider the matrix's entries to be indexed by [math]\mathbb{Z}_n \oplus \mathbb{Z}_n[/math], then, for [math]n \geq 2[/math], the map [math](i, i) \rightarrow (i+1, i)[/math] injects the the diagonal into the set of non-zero entries and proves the result.
Of course, I'm sure that even this is merely the tip of the slickness iceberg.

>>11890116
Dog.