Bourbaki

Exercise 6, § 6

Algebra, IV, p. 99

Let nn be an integer ≥1\geq 1, and let X1,…,XnX_1, \ldots, X_n be indeterminates. For 1≤j≤n1 \leq j \leq n let sjs_j be the elementary symmetric polynomial of degree jj in the XiX_i and uj=(−1)j+1sju_j = (-1)^{j+1} s_j. Put

S(T)=∏i=1n(1−XiT)=1−∑j=1nujTj S(T) = \prod_{i=1}^n (1 - X_i T) = 1 - \sum_{j=1}^n u_j T^j

and for each k≥1k \geq 1 put pk=∑i=1nXikp_k = \sum_{i=1}^n X_i^k; show that

pk=∑aλ1λ2…λnu1λ1u2λ2…unλn p_k = \sum a_{\lambda_1 \lambda_2 \ldots \lambda_n} u_1^{\lambda_1} u_2^{\lambda_2} \ldots u_n^{\lambda_n}

the summation being extended to all systems (Ai,…,Ai)(A_i, \ldots, A_i) of integers ≥0\geq 0 such that λ1+2λ2+…+nλn=k\lambda_1 + 2\lambda_2 + \ldots + n\lambda_n = k, and the coefficient aλ1λ2…λna_{\lambda_1 \lambda_2 \ldots \lambda_n} being equal to

k(λ1+λ2+⋯+λn−1)!λ1!λ2!…An! \frac{k(\lambda_1 + \lambda_2 + \cdots + \lambda_n - 1)!}{\lambda_1! \lambda_2! \ldots A_n!}

(expand the series S′(T)/S(T)S'(T)/S(T) in a formal power series in TT).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.