{"id":"arxiv/2607.12738","url":"https://arxiv.org/abs/2607.12738","tags":["math.AC"],"score":0,"title":"Semi-Invariants of a Matrix and Covector","domain":"math.AC","source":"arxiv","authors":["Jonathan Elmer"],"reviews":0,"subject":"math.AC","summary":"We prove the following theorem: let $\\mathcal{M}_d$ denote the set of $d \\times d$ matrices over an infinite field $K$, and let ${(K^d)^*}$ be the set of row vectors. Define an action of $\\mathrm{SL}_d(K)$ on $X:= \\mathcal{M}_d \\oplus (K^d)^*$ by \\[ g \\cdot (A,φ) = (gAg^{-1}, φg^{-1}).\\] Then $K[X]^{\\mathrm{SL}_d}$ is a polynomial ring, generated by the coefficients of the characteristic polynomial of $A$ and one further invariant, namely $Δ(A,φ):= \\det(φ,φA,φA^2,\\ldots, φA^{d-1})^t.$ Our proof is entirely classical in nature, but we give an interpretation of the result and its proof in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-14","reactions":{}}