Exercice 10, § 4

On utilise les notations des deux exercices précédents. Soient $l \in \mathbf{N}$ et $A \subset \mathscr{M}_l$. Pour tout couple $(i, d)$ on pose

et on note $C_{(i;d)}A$ l’ensemble des $\mathrm{Card}(A_{(i;d)})$ premiers éléments de $(\mathscr{M}_l)_{(i;d)}$ (pour l’ordre lexicographique). On pose $C_iA = \bigcup_{d=1}^l C_{(i;d)}A$. a) Pour tout $m \in \mathscr{M}_l$, on note $\pi(m)$ le prédécesseur dans $\mathscr{M}_l$ de $m$ pour l’ordre lexicographique inverse, lorsqu’il existe (i.e. $m \neq X_1^l$). Soient $i$ un entier tel que $1 < i$ et $a_i$ un entier strictement positif. Montrer que l’on a b) Soient $A \subset \mathscr{M}_l$ et $p \geq 4$ tels que l’on ait $A \subset [X_p^l]$ (i.e. tel que les monômes appartenant à $A$ ne fassent intervenir que les variables $X_j, 1 \leq j \leq p$). On suppose que pour tout entier $i$, tel que $1 \leq i \leq p$, on a $A = C_iA$. Montrer que $A = CA$ (notations de l’exerc. 9, d)). c) Soit $A \subset \mathscr{M}_l$ tel que $A \subset [X_3^l]$ et que $A = C_iA$ pour $i = 1, 2, 3$. Posons $A = \bigcup_{k=0}^l B_kX_3^k$ avec $B_k \subset [X_2^{l-k}]$ et $b(k) = \mathrm{Card}(B_k)$. Montrer que $B_k$ est une partie initiale de $\mathscr{M}_{l-k}$, qu’on a $0 \leq b(0) \leq l + 1, b(k+1) < b(k)$ si $b(k) \neq 0$, et que $k \mapsto b(k)$ est décroissante. Examiner la réciproque de cette assertion. Soit $\mu$ le nombre des entiers $k$ tels que $b(k) = l + 1 - k$. Montrer que $\mathrm{Card}(dA) = (\mathrm{Card}(A)) - \mu$.