Matching works

1 work

math.RA — Rings and Algebras

Nilpotent-free spaces of 3 x 3 matrices over the field with three elements

Contributed by Deep Bhattacharjee

Wigderson conjectured that for every finite field FF and every n≥1n\ge1 there is a space of n×nn\times n matrices over FF of dimension n2−(n2)n^2-\binom n2 whose only nilpotent element is zero. We show that every six-dimensional space of 3×33\times3 matrices over $\F_3$ contains a nonzero nilpotent matrix, so the conjecture fails for $F=\F_3$ and n=3n=3; the largest possible dimension is five.

A mix of human-written and AI-generated textHuman understanding: some partsGerstenhaber's theoremfinite fieldsformal verificationnilpotent matricesspaces of matrices

Advanced search

Text
Human understanding
Linked formalizations