On the Moore determinant (Q6996323)

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.