Bourbaki

Exercice 8, § 6

Algèbre, IV, p. 93

On pose

sk=∑Am1…mnp1m1…pnmn, s_k = \sum A_{m_1 \ldots m_n} p_1^{m_1} \ldots p_n^{m_n},
où les Am1…mnA_{m_1 \ldots m_n} sont des nombres rationnels, et où la somme est étendue aux familles (m1,…,mn)(m_1, \ldots, m_n) telles que ∑i⋅mi=k\sum i \cdot m_i = k. Montrer que l’on a ∑Am1…mn=0\sum A_{m_1 \ldots m_n} = 0 pour k>1k > 1, et ∑∣Am1…mn∣=1\sum |A_{m_1 \ldots m_n}| = 1 pour k⩾1k \geqslant 1. En déduire que, si l’on pose qj=−pjq_j = -p_j, on a
(−1)ksk=∑∣Am1…mn∣q1m1…qnmn. (-1)^k s_k = \sum |A_{m_1 \ldots m_n}| q_1^{m_1} \ldots q_n^{m_n}.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.