On the Moore determinant

From MaRDI portal





Let \(A\) be a commutative ring containing the finite field \(\mathbb{F}_q\). Let \(m\), \(n\geq 1\) be integers and \((a_1,\ldots ,a_n)\in A^n\). The Moore matrix of \(M_{m,n}(A)\) equals \(\{ a_j^{q^{i-1}}\} _{1\leq i\leq m,1\leq j\leq n}\). For \(m=n\), its determinant is the Moore determinant. The existence of certain \(\mathbb{F}_q\)-spaces of differential forms of the projective line over a field \(K\) containing \(\mathbb{F}_q\) leads us to prove an identity linking the determinant of the Moore matrix of \(n\) indeterminates with the determinant of the Moore matrix of the cofactors of its first row. These same spaces give an interpretation of Elkies pairing in terms of residues of differential forms. This pairing puts in duality the \(\mathbb{F}_q\)-vector space of the roots of an \(\mathbb{F}_q\)-linear polynomial and that of the roots of its reversed polynomial.











This page was built for publication: On the Moore determinant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6996323)