 Solution

In $N$ variables, pad $\lambda$ to length $N$ and set $\delta =(N-1,N-2,\dots ,0)$. Define the alternantThe last equality is the Vandermonde determinant with the indicated descending-exponent convention.

We use the Jacobi–Trudi identity proved above and give the determinant step explicitly. LetPut $b_i={\lambda }_i+N-i\ge 0$. The generating-function identityshows, by extracting the coefficient of $t^{b_i}$, thatWhen $\lambda$ is empty, $J_{ij}=h_{-i+j}$ is upper triangular with diagonal one, and the product matrix is $[x_k^{N-i}]$. Thus $\det B=a_{\delta }$. Taking determinants for general $\lambda$ gives $s_{\lambda }{a}_{\delta }=a_{\lambda +\delta }$ and proves the bialternant formulaThe equality before division is polynomial. Consequently the quotient extends at coincident variables as the Schur polynomial.

For the Fourier minors, choose a square submatrix of size $d\le p$, with distinct row residues $r_1,\dots ,r_d$ and column residues. Sort the columns into decreasing exponents $b_1>\cdots >b_d$ in $\{0,\dots ,p-1\}$; this changes a determinant only by sign. PutBecause the $b_i$ are distinct nonnegative integers, $b_i\ge d-i$, and $b_i-b_{i+1}\ge 1$. Hence $\lambda$ is a partition. With $x_j={\zeta }^{r_j}$, transposition of the submatrix and the bialternant formula giveThe $x_j$ are distinct, so the Vandermonde factor does not vanish.

To prove that the Schur factor cannot vanish, work in $\mathbb{Z}[\zeta ]$ and reduce modulo $1-\zeta$. Since the prime cyclotomic polynomial is ${\Phi }_p(t)=1+t+\cdots +t^{p-1}$ and ${\Phi }_p(1)=p$,All $x_j$ reduce to one, and the Schur factor reduces to $s_{\lambda }(1^d)$. We need its value, not an assumption that the specialization is nonzero. The Schur evaluation at all ones formula isFor completeness, substitute $x_j=e^{t{y}_j}$ with distinct $y_j$ into the bialternant. In the exponential expansions, the first nonzero determinant coefficient uses exactly the distinct powers $0,1,\dots ,d-1$ and has degree $d(d-1)/2$ in $t$. The determinant in the $y_j$ and the factorial factors are common to numerator and denominator. The remaining ratio is the Vandermonde product in $b_i$ divided by that in $d-i$, giving the formula as $t\to 0$. Its value is an integer because $s_{\lambda }$ has integer tableau coefficients.

Every positive difference $b_i-b_j$ and $j-i$ is strictly less than $p$. Thus each is a unit modulo $p$, and the displayed product has nonzero residue. A zero Schur factor would have zero residue, a contradiction. This proves the prime Fourier matrix minor theorem:

Finally use the one-row shape $\lambda =(r)$, for which $s_{(r)}=h_r$. Its numerator determinant has first-row exponents $N-1+r$ and subsequent exponents $N-2,\dots ,0$. Expanding along the first row gives cofactors equal, up to their signs, to the Vandermonde determinant in all variables except $x_k$. Sincethe cofactor sign $(-1{)}^{1+k}$ cancels the indicated sign in the quotient. ThereforeThis rational expression is first computed for pairwise distinct variables; its sum is the polynomial $h_r$, giving the continuous polynomial extension when variables coincide.