1. Polynômes à une variable
2. Polynômes à plusieurs variables
3. Préliminaires sur les ordres admissibles
4. Représentation matricielle des ordres admissibles.
5. Idéaux monomiaux
6. Programmation Python/Sage
7. Calcul de bases de Gröbner
8. Critère de Buchberger
9. Algorithme de Buchberger, Bases de Gröbner réduite
10. Résultants et élimination
11. Variétés affines
12. Théorème d’élimination
13. Rappel sur les idéaux
14. Dimension d’un idéal

Polynômes à une variable

Fonctions utiles : degree, leading_coefficient, coefficients, expand, factor, gcd, quo, rem.

– Soient les polynômes $P_1=x^6+2x^5-2x^4+2x^2-2x-1$ et $P_2=x^5+x^4-2x^3+x^2+x-2$.

1. Déterminer le degré, le coefficient dominant et la liste des termes de $P=P_1P_2$.
2. Effectuer la division euclidienne de $P_1$ par $P_2$.
3. Calculer $Q=\PGCD(P_1,P_2)$.
4. Factoriser $P$. Calculer $P(2)$.

– Soit le polynôme $P=x^{11}+x^{10}+x^9+2x^8+2x^6+2x^4+x^3+x^2+x$.

1. Factoriser $P$ dans $\Z[x]$.
2. Factoriser $P$ dans $\Z[i][x]$ et dans $\Q(i)[x]$.
3. Factoriser $P$ dans $\F_2[x]$.
4. Factoriser $P$ dans $\F_4[x]$.

– Soit le polynôme $P=x^7+x^5+2x^3+2x^2+3x+2$.

1. Factoriser $P$ dans $\F_2$ et $\F_7$.
2. En déduire une preuve de l’irréductibilité de $P$ dans $\Z[x]$.
3. Vérifier l’irréductibilité de $P$ avec Sage.

– Soit $p$ un nombre premier. Factoriser $x^p-x+c$ en facteurs irréductibles dans $\F_p[x]$ pour $0\le c<p$. Formuler une conjecture sur le type de factorisation de ces polynômes, et la prouver. Suggestion: observer que deux racines du polynôme diffèrent nécessairement d’un élément de $\F_p$ ; conclure en étudiant l’action du Frobenius sur les racines. Note: il est possible de se passer de la théorie de Galois, si on le souhaite.

– Soit $p$ un nombre premier. Factoriser le polynôme $x^{2p}+x^p+1$ en facteurs irréductibles dans $\Z[x]$. Prouver que ces polynômes sont des produits de polynômes cyclotomiques.

Polynômes à plusieurs variables

À partir de maintenant, il est préférable de se servir des anneaux de polynômes de Sage, plutôt que des variables symboliques.

– Soit le polynôme $P=xy^5+2y^4+3y^3x^3+4x^2y^2+5xy^2+6yx^3+7y$.

1. Donner le degré total de $P$.
2. Écrire $P$ comme polynôme en $x$.

– Transformer le polynôme $P=(x^2+xy+x+y)(x+y)$ avec Sage sous les formes suivantes:

1. $x^3+2x^2y+xy^2+x^2+2xy+y^2$;
2. $(x+1)(x+y)^2$;
3. $x^3+(2y+1)x^2+(y^2+2y)x+y^2$;
4. $(x+1)y^2+(2x^2+2x)y+x^3+x^2$.

Préliminaires sur les ordres admissibles

–

1. Soit le polynôme $P=xy^5+2y^4+3y^3x^3+4x^2y^2+5xy^2+6yx^3+7y$.

   1. Ordonner $P$ pour l’ordre lexicographique.
   2. Ordonner $P$ pour l’ordre lexicographique gradué.
   3. Ordonner $P$ pour l’ordre lexicographique inverse gradué.
   4. Montrer qu’en deux variables, l’ordre lexicographique gradué et l’ordre lexicographique inverse gradué coïncident.

2. Soit le polynôme $Q=x y^{3} z t +x^{2} y z^{3} t + x^{2} y z^{2} t+ x^{3} z^{2} t^{2}$.

   1. Ordonner $Q$ à la main pour l’ordre lexicographique gradué.
   2. Ordonner $Q$ à la main pour l’ordre lexicographique inverse gradué.

– Soit $\succ$ un ordre total compatible avec la multiplication. Montrer que $\succ$ est un ordre admissible si, et seulement si, pour tout monôme $m$ non constant, $m\succ 1$.

–

Montrer que l’ordre lexicographique est un ordre admissible. (voir aussi la proposition 4, p.55 du Cox, Little & O’Shea)

–

1. Soient $g=x-y$, $h=x-y^2$ et $p=xy-x$ dans $\Q[x,y]$ muni de l’ordre lexicographique.

   1. À quoi correspond la commande p.reduce([g, h]) ?
   2. À quoi correspond la commande p.reduce([h, g]) ?
   3. Montrer que $p$ est dans l’idéal $(g,h)$.

2. Soient $g=x^2y^2-x$ et $h=xy^2+y$.

   1. À quoi correspond la commande g.reduce([g, h]) ?
   2. À quoi correspond la commande h.reduce([g, h]) ?
   3. Pleurer.

–

Déterminer quel ordre monomial (lex, deglex, degrevlex) a été utilisé pour ordonner les termes des polynômes suivants :

1. $f(x, y, z) = 7x^2y^4z-2xy^6 + x^2y^2$.
2. $f(x, y, z) = xy^3z + xy^2z^2 + x^2z^3$.
3. $f(x, y, z) = x^4y^5z + 2x^3y^2z-4xy^2z^4$.

–

Soient $f = x^7y^2 + x^3y^2-y-1$ et l’ensemble ordonné $F = \{f_1 = xy^2-x, f_2 = x-y^3\}$.

1. Calculer $\overline{f}^F$ pour les ordres lexicographique et lexicographique gradué.
2. Effectuer les mêmes calculs en inversant l’ordre de $F$.

–

1. Montrer que tout polynôme $f\in k[x, y, z]$ peut s’écrire sous la forme

   $$f = h_1(y-x^2) + h_2(z-x^3) + r$$

   avec $h_1, h_2\in k[x,y, z]$ et $r\in k[x]$.

2. Trouver une écriture explicite de la forme $z^2-x^4y = h_1(y-x^2) + h_2(z-x^3)$.

Représentation matricielle des ordres admissibles.

–

On étend l’ordre lexicographique $>_{\lex}$ à $\R^n$ de la façon évidente. On définit une relation sur les monômes à $n$ variables à partir d’une matrice $A$ carrée réelle de taille $n$ comme suit :

1. Montrer que si $A\in \mathcal{M}_n\left(\Q\right)$ et $\det A=0$ alors $\succA$ n’est pas un ordre admissible.

2. Quelles conditions (nécessaires et suffisantes) doit vérifier $A\in\mathcal{M}_n\left(\Q\right)$ pour que l’ordre associé soit un ordre admissible ?

3. Pour $n\geq 2$, trouver

   $$A = \begin{pmatrix} a_1 & \cdots & a_n\\ 0 & \cdots & 0\\ \vdots & & \vdots \\ 0 & \cdots & 0 \end{pmatrix}\in\mathcal{M}_n\left(\R\right)$$

   telle que $\succA$ soit un ordre admissible.

4. Quelles conditions (nécessaires et suffisantes) doit vérifier $A\in\mathcal{M}_n\left(\R\right)$ pour que l’ordre associé soit un ordre admissible ?

5. Donner successivement un exemple de matrice $A$ tel que l’ordre associé soit l’ordre lex, deglex, degrevlex, un ordre produit (avec à chaque fois $x_1>\cdots> x_n$).

Idéaux monomiaux

Fonction utiles : lc, lm, lt.

– Soit $I=\left\langle x^\alpha, \alpha\in A \right\rangle$ un idéal monomial et $S$ l’ensemble des exposants qui apparaissent dans $I$. On considère un ordre monomial. Montrer que le plus petit élément de $S$ appartient à $A$.

–

Dans l’anneau $k[x_1,\ldots,x_n,y_1,\ldots,y_m]$, on considère l’ordre $\preccurlyeq$ défini par l’ordre lexicographique sur les $x_i$ et par l’ordre degrevlex sur les $y_j$ :

Montrer que $\preccurlyeq$ est un ordre monomial.

– Soit l’idéal $I=\langle x^2-2xz+5,xy^2+yz^3,3y^2-8z^3\rangle$ de $\Q[x,y,z]$.

1. Donner une base de Gröbner $G$ de $I$ pour l’ordre lexicographique.
2. Même question pour l’ordre degrevlex.

Programmation Python/Sage

– Que fait la procédure suivante ? Quels sont les arguments de la procédure ? Comment les variables sont elles initialisées ? Quelle est la condition d’arrêt de la boucle ? Que doit renvoyer la procédure ?

def euclidepol (A,B):
    A0 = A; A1 = B
    S0 = 1; S1 = 0
    T0 = 0; T1 = 1
    while A1 != 0:
        Q = A0//A1
        U = A1; A1 = A0 - Q*A1; A0 = U
        U = S1; S1 = S0 - Q*S1; S0 = U
        U = T1; T1 = T0 - Q*T1; T0 = U
    return (A0,S0,T0)

– Écrire une fonction qui prend en entrée un corps $k$ et un entier $n$ et donne en sortie un polynôme aléatoire irréductible de $k[x]$ de degré $n$. Consignes : Ne vous servez pas de la méthode .irreducible_element(). Écrivez une boucle qui tire des polynômes au hasard jusqu’à en trouver un irréductible. Vous pouvez utiliser la méthode .random_element() des anneaux de polynômes pour tirer des polynômes au hasard.

– Même question qu’à l’exercice précédent, mais cette fois-ci $k=\F_p$ est un corps premier, et vous donnerez en sortie le plus petit polynôme irréductible par l’ordre lexicographique (sur les coefficients).

– Nous allons adopter une représentation distribuée creuse pour les polynômes : un monôme sera représenté par une liste à deux éléments. Le premier est le coefficient et le second la liste des exposants.

1. Écrire une fonction qui teste si un monôme $m_1$ est plus petit qu’un monôme $m_2$ pour l’ordre lexicographique.
2. Écrire une fonction qui, étant donnée une liste de monômes, renvoie son plus petit élément $m$.
3. Écrire une fonction qui, étant donnée une liste de monômes, énumère les monômes dans l’ordre croissant pour l’ordre lexicographique.
4. Écrire une fonction qui affiche un monome de la manière habituelle (par ex. 5 x^10 y^20). Vous êtes libres de choisir la façon dont les noms des variables sont assignés (pour référence, chr(97) équivaut au caractère 'a').
5. (avancé) Transformer ces fonctions en une classe Monome, munie de deux champs, et au minimum des méthodes spéciales __lt__, __repr__ et __mul__.

Calcul de bases de Gröbner

–

Soit l’idéal $I$ de $\Q[x,y]$ défini par

1. Donner une base de Gröbner de $I$ pour l’ordre lexicographique.
2. Vérifier que les éléments obtenus appartiennent effectivement à $I$.
3. Soit $P=x^3y^2+2xy^4$. Calculer $\overline{P}^G$.

– Dans $k[x,y,z]$, on choisit l’ordre degrevlex. Calculer une base de Gröbner de l’idéal $I=(xyz+z^3,y^2)$.

– Soit $G$ une base de Gröbner pour l’idéal $I\subset k[x_1,\ldots,x_n]$ et supposons qu’il existe $P\neq Q\in G$ tels que $\LT(P)$ divise $\LT(Q)$. Montrer que $G\setminus\{Q\}$ est encore une base de Gröbner pour $I$.

– Le polynôme $x^3+1$ est-il dans l’idéal engendré par $x + y + z$, $xy + yz + zx$ et $xyz+1$ ?

– Soit $I\in k[x_1,\ldots,x_n]$ un idéal principal. Montrer que tout sous-ensemble fini contenant un générateur de $I$ est une base de Gröbner pour $I$.

–

Soit l’ideal

de $k[x, y, z, t]$.

1. Montrer que le système générateur de $I$ est une base de Gröbner pour l’ordre lexicographique avec $x > y > z > t$.
2. Trouver un ordre sur les variables tel que $\left\langle z^{11}, yz^2, y^3t^2, y^4t, y^5, x^2y^2t^3, x^4yt^4 \right\rangle$ soit $\left\langle\LT(I) \right\rangle$.

– On se place dans un anneau $R=k[x_1,\ldots,x_n]$ où $k$ est un corps commutatif. Soit $I$ un idéal de $R$ non nul. Une base de Gröbner universelle est un ensemble qui est une base de Gröbner de $I$ pour tous les ordres admissibles de $R$. Calculer une base de Gröbner universelle de l’idéal de $\Q[x,y]$ engendré par $x-y^2$ et $xy-x$.

–

Soit l’anneau $A$ des polynômes à $2m$ indéterminées $(x_{ij})_{1\le i\le 2, 1\le j\le m}$, à coefficients dans $k$. Soit $I$ l’idéal de $A$ engendré par les $\binom{m}{2}$ polynômes $D_{k,\ell}=x_{1k}x_{2\ell}- x_{1\ell}x_{2k}$.

1. Pour $m=3$, montrer que les $D_{k,\ell}$ forment une base de Gröbner universelle de $I$.
2. Pour $m\ge3$, montrer que les $D_{k,\ell}$ forment une base de Gröbner universelle de $I$.

–

Soit $V$ un sous-espace vectoriel de $k^n$ de dimension $n-d<n$. Soit $I$ son idéal annulateur dans $k[\underline{x}]$ : l’idéal $I$ est engendré par $d$ formes linéaires indépendantes

On dit qu’une forme linéaire non nulle de $I$ est un circuit si son ensemble de variables est minimal pour l’inclusion. On dit qu’un $d$-sous-ensemble $J=\{j_1,\ldots,j_d\}\subset\{1,\ldots,n\}$ est une base, si le déterminant $D_J$ de la matrice $(a_{ij})_{i,j\in\{j_1,\ldots,j_d\}}$ associée est non nul.

1. Montrer que les circuits sont précisément les formes linéaires non nulles

   $$D_{k_1,\ldots,k_{d-1},1}x_1+D_{k_1,\ldots,k_{d-1},2}x_2+\cdots+D_{k_1,\ldots,n}x_n$$

   où $1 \le k_1<\cdots<k_{d_1} \le n$.

2. En déduire qu’il y a au plus $\binom{n}{d-1}$ circuits.
3. Soit $I'$ un idéal engendré par des formes linéaires. Montrer que l’ensemble des circuits dans $I$ est une base de Gröbner universelle de $I$.

Critère de Buchberger

– Soient les polynômes $P_1= x^3y-2x^2y^2+x$ et $P_2= 3x^4-y$ de $\Q[x,y]$ avec l’ordre lexicographique.

1. Calculer $P=\Syz(P_1,P_2)$.
2. Soit $I=\left\langle P_1,P_2 \right\rangle$. La base $(P_1,P_2)$ est-elle de Gröbner ?

– Déterminer si les ensembles suivants sont des bases de Gröbner des idéaux qu’ils engendrent.

1. $\{x^2-y,x^3-z\}$ pour l’ordre lexicographique gradué.
2. $\{x^2-y,x^3-z\}$ pour l’ordre lexicographique avec $x<y<z$ puis $x>y>z$.
3. $\{xy^2-xz+y,xy-z^2,x-yz^4\}$ avec l’ordre lexicographique.

– La fonction $\Syz(f,g)$ dépend-elle du choix de l’ordre monomial ?

– Soit $I\subset k[x_1,\ldots, x_n]$ un idéal et $G=\{g_1,\ldots, g_m\}$ une base de Gröbner de $I$.

1. Montrer que $\overline{f_1}^G=\overline{f_2}^G$ si, et seulement si, $f_1-f_2\in I$.
2. En déduire que $\overline{f_1+f_2}^G=\overline{f_1}^G+\overline{f_2}^G$.
3. En déduire que $\overline{f_1f_2}^G=\overline{\overline{f_1}^G\overline{f_2}^G}^G$.

Algorithme de Buchberger, Bases de Gröbner réduite

– Déterminer une base de Gröbner des idéaux suivants :

1. $I=\left\langle x^2,xy+y^2 \right\rangle$ de $k[x,y]$ pour l’ordre lexicographique.
2. $I=\left\langle y^2,xyz+z^3 \right\rangle$ de $\Q[x,y,z]$ pour l’ordre lexicographique inverse gradué.
3. $I=\left\langle x^2y-1,xy^2-x \right\rangle$ de $\Q[x,y]$ pour les ordres lexicographique et lexicographique gradué.
4. $I=\left\langle x-z^3,y-z^5 \right\rangle$ de $\Q[x,y,z]$ pour les ordres lexicographique et lexicographique inverse gradué.

– Montrer que pour tout $m\ge1$, la base de Gröbner réduite de

pour l’ordre lexicographique inverse gradué contient $f_m=z^{m^2+1}-y^{m^2}t$. En déduire la base de Gröbner réduite de $I_m$.

–

Soient $2\le n'\le n$.

1. Soient $r\ge1$ un entier et $J=(m_1,\ldots,m_r)$ un idéal monomial de $k[X_1,\ldots,X_n]$. Donner des générateurs de l’idéal $J\cap (X_{n'},\ldots,X_n)$. Dans la suite on fixe sur $k[X_1,\ldots,X_n]$ l’ordre lexicographique, on désigne par $I$ un idéal homogène non nul et par $I'$ l’intersection $I'=I\cap (X_{n'},\ldots,X_n)$.
2. Montrer que $\LT(I')=\LT(I) \cap (X_{n'},\ldots,X_n)$.
3. Soit $(f_1,\ldots,f_s)$ une base de Gröbner de $I$ formée de polynômes homogènes. Déduire des questions précédentes des générateurs de $\LT( I')$. En déduire une base de Gröbner de $I'$.
4. Soit $(f_1,\ldots,f_s)$ une base de Gröbner réduite de $I$ formée de polynômes homogènes. Donner une condition nécessaire et suffisante pour que l’on ait $I\cap (X_n)=X_n I$.

– Soient $f$ et $g$ deux polynômes non nuls sans facteur commun et $I$ l’idéal qu’ils engendrent. On suppose que $(f,g)$ est une base de Gröbner de $I$.

1. On pose : $\LT(f)=\lambda m m'$, $\LT(g)=\mu m m''$, où $m$ est un monôme, $m'$ et $m''$ sont deux monômes premiers entre eux et $\lambda$ et $\mu$ deux scalaires. En utilisant la division du $S$-polynôme $\Syz(f,g)$ par la suite $(f,g)$, montrer qu’il existe un polynôme $g_1$ dont $\LT(g_1)$ n’est pas divisible par $\LT(f)$ et tel que $f$ divise $g_1+\lambda m'$.
2. En déduire que $m=1$.
3. En déduire que $(f,g)$ est une base de Gröbner de $I$ si, et seulement si, $\LT(f)$ et $\LT(g)$ sont premiers entre eux.
4. On pose $f=hf'$, $g=hg'$, où $f'$ et $g'$ n’ont pas de facteur commun. Montrer que $(f,g)$ est une base lde Gröbner de $I$ si, et seulement si, $(f',g')$ est une base de Gröbner de l’idéal $I'$ engendré par $f'$ et $g'$.
5. Donner une condition nécessaire et suffisante pour que $(f,g)$ soit une base de Gröbner de $I$.

Résultants et élimination

– Soit l’idéal $I=\left\langle y^4x+3x^3-y^4-3x^2,x^2y-2x^2,2y^4x-x^3-2y^4+x^2 \right\rangle$.

1. Montrer que $I\cap \Q[x]=\left\langle x^3-x^2 \right\rangle$.
2. Montrer que $I\cap \Q[y]=\left\langle y^5-2y^4 \right\rangle$.

–

1. Calculer une base de Gröbner réduite de l’idéal engendré par $(x + y- z; x^2- 2t^2; y^2 -5t^2)$ pour l’ordre lexicographique induit par $x > y > z > t$.
2. En déduire que $\sqrt{2}+\sqrt{5}$ est un nombre algébrique sur le corps des rationnels $\Q$, en exhibant un polynôme à une variable à coefficients rationnels dont il est racine.
3. Quel est le résultant de $(y - z)^2 - 2$ et $y^2 - 5$ par rapport à $y$ ?
4. En déduire que $\Q(\sqrt{2},\sqrt{5})=\Q(\sqrt{2}+\sqrt{5})$. Exprimer $\sqrt{2}$ et $\sqrt{5}$ en fonction de $\sqrt{2}+ \sqrt{5}$.

– Soient $A$ et $B$ deux polynômes de $K[X]$, où $K$ est un corps.

1. Fabriquer un polynôme dont les racines sont les sommes d’une racine de $A$ et d’une racine de $B$. (Quels sont les Y tels que le système $A(X) = B(Y-X) = 0$ ait une solution ?)
2. Fabriquer un polynôme à coefficients entiers qui a $2^{1/2}+7^{1/3}$ pour racine.

–

Le degré (resp. le poids) du monôme non nul $ax_1^{\alpha_1}\cdots x_n^{\alpha_n}$ est $\sum \alpha_i$ (resp. $\sum i\alpha_i$). Le degré (resp. le poids) d’un polynôme est le maximum des degrés (resp. des poids) de ses monômes non nuls. Un polynôme $P\in k[x_1,\ldots,x_n]$ est dit symétrique si pour toute permutation $\sigma \in S_n, P(x_{\sigma(1)},\ldots,x_{\sigma(n)})=P(x_1,\ldots,x_n).$ Pour $1\leq k\leq n$, on note $S_k=\sum_{1\leq i_1<\cdots<i_k}x_{i_1}\cdots x_{i_k}$ le $k$-ième polynôme symétrique élémentaire.

1. Si $P$ est symétrique, montrer que le degré par rapport à n’importe quel variable est le même. Ce degré est appelé degré partiel de $P$.
2. Montrer que pour tout polynôme $P\in k[x_1,\ldots,x_n]$ symétrique de degré $d$, il existe un unique polynôme $F\in k[x_1,\ldots,x_n]$ tel que $P(x_1,\ldots,x_n)=F(S_1,\ldots,S_n)$ où $F$ est de poids $d$ et de degré le degré partiel de $P$.

– Déterminer à l’aide d’un résultant l’intersection des courbes de $\R^2$ définies par

–

On considère la courbe plane d’équation rationnelle

1. Comment trouver une équation implicite de la courbe ?

2. On considère la paramétrisation rationnelle

   $$\left\{\begin{aligned} x & = \frac{u^2}{v}\\ y & = \frac{v^2}{u}\\ z & = u \end{aligned}\right.$$

   Vérifier que les points $(x,y,z)$ sont sur la surface $x^2y = z^3$.

3. Soit $I$ l’idéal $\left\langle vx-u^2, uy-v^2,z-u \right\rangle$. Calculer $I_2=I\cap\R[x,y,z]$.

4. Impliciter l’exemple $x=t^2+t+1$, $y=(t^2-1)/(t^2+1)$.

– Donner l’aire d’un triangle en fonction des longueurs $a,b,c$ de ses trois côtés.

– Soit $K$ un corps infini, $P\in K[X_1,\ldots,X_n]$ un polynôme non nul de degré $d$.

1. Montrer qu’il existe $(a_1, . . . , a_{n-1})$ dans $K^{n-1}$ tel que le polynôme $P(X_1 + a_1X_n,\cdots, X_{n-1} + a_{n-1}X_n,X_n)$ soit de la forme $cX_n^d +Q$, où $c$ est un élément non nul de $K$ et $Q$ un polynôme de degré $< d$ par rapport à $X_n$.
2. En utilisant un résultant en déduire le théorème des zéros de Hilbert.

Variétés affines

– En utilisant Sage, donner les solutions des équations suivantes :

1. $x^3-1=0$.
2. $x^3-5ax^2+x=1$.
3. $x^7-2x^6-4x^5-x^3+x^2+6x+4=0$.

– En utilisant Sage, donner les solutions des systèmes d’équations suivants :

1. $\left\{\begin{array}{cc} x^2+y^2=25,\cr x^2-9=y.\cr\end{array}\right.$.
2. $\left\{\begin{array}{cc}x^2+y^2=1,\cr z=x-y,\cr z^2=x+y.\cr\end{array}\right.$.
3. $\left\{\begin{array}{cc} cx+xy^2+xz^2=1,\cr cy+yx^2+yz^2=1,\cr cz+zx^2+zy^2=1.\cr\end{array}\right.$ où $c$ est un paramètre réel.

– Résoudre l’équation suivante dans $\Z/7\Z$ : $y^2=x^3-28.$

– On considère la surface $S$ paramétrée par

et la courbe $C$ tracée sur $S$ et paramétrée par

1. Obtenir une équation implicite de $S$.
2. Obtenir des équations implicites de $C$.
3. Vérifier à l’aide de ces équations que $C\subset S$.

– Soient les idéaux de $k[x,y]$ :

Montrer que $I=J$.

– Soient les idéaux de $k[x,y,z]$ :

1. Montrer que $I\neq J$.
2. A-t-on $I\subset J$ ?
3. A-t-on $J\subset I$ ?

– Soient $a,b,c$ satisfaisant le système :

1. Montrer que $a^4+b^4+c^4=9.$
2. Montrer que $a^5+b^5+c^5\neq 11$.
3. Que valent $a^5+b^5+c^5$ et $a^6+b^6+c^6$ ?

– (Sagebook, exercice 36) Soit $J$ un idéal de dimension zéro de $\Q[x,y]$. Soit $\chi_x$ le polynôme caractéristique de l’application linéaire

Calculer $\chi_x$ dans le cas $J =\langle x^2 + y^2 - 1, 4x^2y^2 - 1\rangle$. Montrer que toute racine de $\chi_x$ est l’abscisse d’un point de la variété $V_\C(J)$.

Théorème d’élimination

– Soit $I\subseteq k[x_1,\ldots,x_n]$ un idéal.

1. Montrer que $I_{\ell}=I\cap k[x_{\ell+1},\ldots,x_n]$ est un idéal de $k[x_{\ell+1},\ldots,x_n]$.
2. Montrer que l’idéal $I_{\ell+1}\subseteq k[x_{\ell+2},\ldots,x_n]$ est le premier idéal d’élimination de $I_{\ell}\subseteq k[x_{\ell+1},\ldots,x_n]$.
3. En déduire comment appliquer le théorème d’élimination pour éliminer plusieurs variables.

– Soient le système d’équations

et $I$ l’idéal engendré par ces équations.

1. Déterminer des bases de $I\cap k[x]$, et de $I\cap k[y]$.
2. En déduire l’ensemble des solutions de ce système.

– Soit $I$ l’idéal déterminé par les équations

1. Calculer les idéaux $I_1$ et $I_2$.
2. Combien le système associé admet-il de solutions $(x,y,z)\in\Q^3$ ?
3. Combien le système associé admet-il de solutions $(x,y,z)\in\C^3$ ?

–

Utiliser le théorème d’élimination pour résoudre le système suivant dans $\R^3$ puis dans $\C^3$ :

–

Soit $f= x^{4} y^{2} + x^{2} y^{4} - x^{2} y^{2} \in\Q[x,y]$. On cherche à calculer les valeurs critiques de $f$ vu comme fonction polynomiale de $\R^2$ dans $\R$.

1. Soit $J$ l’ideal $\displaystyle \left\langle \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right\rangle$. Quelle est la dimension de $J$ ? Peut-on calculer simplement les points critiques de $f$ ?
2. En considérant l’idéal $\displaystyle \left\langle \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, f-t \right\rangle\subset\Q[x,y,t]$, trouver un polynôme de $\Q[t]$ dont l’ensemble des racines contient les valeurs critiques de $f$.

–

Soient $I$ et $I'$ deux idéaux de $k[x_1,\ldots,x_n]=k[\underline{x}]$. Soit $J=\left\langle yI,(y-1)I' \right\rangle\in k[y,\underline{x}]$. Montrer que $I\cap I'$ est l’idéal d’élimination $J_{\underline{x}}$.

–

Calculer, dans $\Q[x,y]$, l’intersection des idéaux

–

Écrire un algorithme qui détermine l’intersection de deux idéaux.

Rappel sur les idéaux

–

Soit $I$ un idéal non trivial de $k[x_1,\ldots,x_n]$ et soit $\{y_1,\ldots,y_r\}\subseteq \{x_1,\ldots,x_n\}$. L’ensemble des variables $\{y_1,\ldots,y_r\}$ est dit indépendant modulo $I$ si $I\cap k[\underline{y}]=\{0\}$. La dimension de $I$ est définie par

1. Montrer qu’un idéal propre $I$ est de dimension zéro si, et seulement si, il contient un polynôme non constant en chaque variable $\{x_1,\ldots,x_n\}$.

Soit $I$ un idéal propre de $k[x_1,\ldots,x_n]$.

2. Si $I$ est de dimension zéro, montrer que pour tout ordre admissible sur $k[x_1,\ldots,x_n]$ et pour toute base de Gröbner $G$ de $I$, pour tout $1\leq i\leq n$, il existe $g_i\in G$ avec $\LM(g_i)=x_i^{\alpha_i}$ pour un $\alpha_i>0$.
3. Supposons qu’il existe un ordre sur $k[x_1,\ldots,x_n]$ et une base de Gröbner $G$ de $I$ telle que pour tout $1\leq i\leq n$, il existe $g_i\in G$ avec $\LM(g_i)=x_i^{\alpha_i}$ pour un $\alpha_i>0$. Montrer que $k[x_1,\ldots,x_n]/I$ est un $k$-espace vectoriel de dimension finie.
4. Si $k[x_1,\ldots,x_n]/I$ est un $k$-espace vectoriel de dimension finie, montrer que $I$ est de dimension zéro.
5. En déduire que $I$ est de dimension zéro si, et seulement si, $k[x_1,\ldots,x_n]/I$ est un $k$-espace vectoriel de dimension finie.

–

Soit $I$ l’idéal de $\Q[x,y]$ engendré par $y^2+x^2$ et $x^2-2$. Montrer que $I$ est un idéal de dimension zéro.

–

Quelle est la dimension de l’idéal $I$ de $\Q[x_1,x_2,x_3]$ engendré par $x_1x_3+x_3, x_2x_3+x_3$ ?

–

Écrire un algorithme qui teste si un idéal est de dimension $0$.

–

À un $n$-uplet $f=(f_1,\ldots,f_n)\in k[x_1,\ldots,x_n]^n$ on associe une application

On dit que $\varphi_f$ est inversible s’il existe $g=(g_1,\ldots,g_n)\in k[x_1,\ldots,x_n]^n$ tels que $\varphi_g\circ\varphi_f=\mathrm{Id}_{k^n}$, c.-à-d. si

Soit $I=\langle y_1-f_1,\ldots,y_n-f_n\rangle\subseteq k[x_1,\ldots,x_n,y_1,\ldots,y_n]$ muni de l’ordre lexicographique.

1. On suppose que la base de Gröbner réduite $G$ de $I$ est de la forme

   $$G=\{x_1-g_1,\ldots,x_n-g_n\}.$$

   Montrer que $\varphi_f$ est inversible.

2. On suppose dans cette question que $\varphi_f$ est inversible d’inverse $\varphi_g$.

   1. Montrer que l’ensemble $G=\{x_1-g_1,\ldots, x_n-g_n\}$ est un sous-ensemble réduit de $I$.
   2. Montrer que $I\cap k[y_1,\ldots,y_n]=\{0\}$.
   3. En déduire que $G$ est une base de Gröbner réduite de $I$.
   4. Montrer que $g_i(f_1,\ldots,f_n)=x_i$, $1\leq i\leq n$.

3. Soit $f_1,\ldots,f_n,g_1,\ldots,g_n\in k[x_1,\ldots,x_n]$ tels que $g_i(f_1,\ldots,f_n)=x_i$, $1\leq i\leq n$.

   1. Montrer que $f_i(g_1,\ldots,g_n)=x_i$, $1\leq i\leq n$.
   2. En déduire que $\varphi_g\circ\varphi_f=\mathrm{Id}_{k^n}$ implique $\varphi_f\circ\varphi_g=\mathrm{Id}_{k^n}$.

Dimension d’un idéal

–

Soit $I \subset k\left[x_1,\ldots,x_n\right]$ un idéal monomial tel que $\dim\mathbb{V}\left(I\right)=n-1$.

1. Montrer que les monômes de n’importe quel ensemble de générateurs de $I$ ont un facteur commun non constant.

2. On écrit $\mathbb{V}\left(I\right)=V_1\cup\ldots\cup V_p$, où les $V_i$ sont des sous-espaces de coordonnées tels que $V_i \nsubseteq V_j$ pour $i\neq j$. On suppose de plus qu’un seul des $V_i$ est de dimension $n-1$.

   1. Quelle est la valeur maximale que peut prendre $p$ ?
   2. Donner un exemple où ce $p$ maximum est atteint.

–

Soit $I$ un idéal monomial de $k\left[x_1,\ldots,x_n\right]$.

1. Si $\mathbb{V}\left(I\right)$ est de dimension $0$, que peut être $\mathbb{V}\left(I\right)$ ?
2. Montrer que $\mathbb{V}\left(I\right)$ est de dimension $0$ si et seulement si pour tout $i\in\left\{1,\ldots,n\right\}$, il existe $\ell_i\geq 1$ tel que $x_i^{\ell_i}\in I$.

–

Soit $I$ l’idéal de $k[x,y]$ :

Calculer la fonction de Hilbert $^aHF_I(s)$ de plusieurs façons différentes avec et sans Sage.

–

Soit $I$ l’idéal de $k[x,y,z]$ :

Calculer la fonction de Hilbert $^aHF_I(s)$.

–

Soit $I$ l’idéal de $k[x_1,\ldots x_4]$ :

Calculer la fonction de Hilbert $^aHF_I(s)$.

–

Soient $I_1\subset I_2$ des idéaux de $k[x_1,\ldots,x_n]$.

1. Montrer que $C(\left\langle \LT(I_2) \right\rangle)\subset C(\left\langle \LT(I_1) \right\rangle)$.
2. Montrer que pour tout $s\geq 0$, $^aHF_{I_2}(s)\leq ^aHF_{I_1}(s).$
3. Montrer que $\deg ^aHP_{I_2}\leq \deg ^aHP_{I_1}.$

–

Soit $k$ un corps algébriquement clos. Calculer la dimension des variétés affines définies par les idéaux suivants :

1. $I=\left\langle xz,xy-1 \right\rangle$.
2. $J=\left\langle zw-y^2,xy-z^3 \right\rangle$.

–

On se donne des entiers $a_1,\ldots,a_n$ strictement positifs et on considère l’idéal monomial $J=(X_1^{a_1},\ldots,X_n^{a_n})$. On se propose de calculer la fonction de Hilbert $h={}^aHF_J$. On prolonge la fonction de Hilbert à $\Z$ par la valeur zéro sur les entiers négatifs.

1. Montrer qu’il existe un entier $d_0$ tel qu’on ait $h(d_0)\neq 0$ et $h(d)=0$ pour tout $d>d_0$. Calculer $d_0$ et $h(d_0)$.
2. Montrer que pour tout $d\in\mathbb{Z}$ on a $h(d)=h(d_0-d)$.
3. Calculer $h$ quand $a_i=2$ pour tout $i\in [1,n]$.
4. Calculer $h$ quand $n=2$, $a_1\leq a_2$.

–

Montrer qu’un point $p=(a_1,\ldots,a_n)\in k^n$ est une variété affine de dimension zéro.

–

Soit $k$ un corps algébriquement clos et $I=\left\langle xy,wz \right\rangle\in k[x,y,z]$.

1. Montrer que $I\cap k[x]=0$ mais que $I\cap k[x,y]$ et $I\cap k[x,z]$ ne sont pas nuls.
2. Montrer que $I\cap k[y,z]=0$ mais que $I\cap k[x,y,z]\neq 0$.
3. Quelle est la dimension de $V(I)$ ?