Bourbaki

Exercice 17, § 3

Algèbre commutative, VII

a) Soit A un anneau intègre; montrer que dans l’anneau A[Xij]A[X_{ij}], où (Xij)(X_{ij}) est une famille de n2n^2 indéterminées (1≤i≤n, 1≤j≤n)(1 \leq i \leq n,\ 1 \leq j \leq n), l’élément det⁡(Xij)\det(X_{ij}) est extrémal. (Se ramener au cas où A est un corps; observer que les facteurs de det⁡(Xij)\det(X_{ij}) seraient nécessairement des polynômes homogènes, et raisonner par récurrence sur n).

b) Soient K un corps infini, F un polynôme de K[Y1,…,Ym]K[Y_1, \ldots, Y_m], qu’on écrit aussi F(Y)F(Y); pour toute matrice carrée s=(αij)s = (\alpha_{ij}) d’ordre m à éléments dans K, on note F(s.Y)F(s . Y) le polynôme F où on a substitué à chaque YiY_i l’élément ∑j=1mαijYj\sum_{j=1}^m \alpha_{ij} Y_j. Montrer que si F est extrémal, il en est de même de F(s.Y)F(s . Y) pour toute matrice inversible s. S’il existe un entier k≥0k \geq 0 tel que F(s.Y)=(det⁡(s))kF(Y)F(s . Y) = (\det(s))^k F(Y) pour toute matrice inversible s, F est nécessairement homogène par rapport à chacun des YjY_j; en outre, si F=GHF = GH où G et H sont deux polynômes de K[Y1,…,Ym]K[Y_1, \ldots, Y_m], il existe deux entiers pp et qq tels que p+q=kp + q = k et G(s.Y)=(det⁡(s))pG(Y)G(s.Y) = (\det(s))^p G(Y), H(s.Y)=(det⁡(s))qH(Y)H(s.Y) = (\det(s))^q H(Y) pour toute matrice inversible ss (utiliser aa).

c) Soient AA un anneau non réduit à 0 ; on considère l’anneau de polynômes A[Xij]A[X_{ij}], où les XijX_{ij} sont n(n+1)/2n(n+1)/2 (resp. 2n(2n−1)/22n(2n-1)/2) indéterminées, avec 1≤i≤j≤n1 \leq i \leq j \leq n (resp. 1≤i<j≤2n1 \leq i < j \leq 2n); soit U=(ξij)U = (\xi_{ij}) (resp. V=(ηij)V = (\eta_{ij})) la matrice carrée d’ordre nn (resp. 2n2n) sur A[Xij]A[X_{ij}] telle que ξij=Xij\xi_{ij} = X_{ij} pour 1≤i≤j≤n1 \leq i \leq j \leq n et ξij=Xji\xi_{ij} = X_{ji} pour i>ji > j (resp. ηii=0\eta_{ii} = 0 pour 1≤i≤2n1 \leq i \leq 2n, ηij=Xij\eta_{ij} = X_{ij} pour 1≤i<j≤2n1 \leq i < j \leq 2n, ηij=−Xji\eta_{ij} = -X_{ji} pour i>ji > j). Montrer que det⁡(U)\det(U) (resp. Pf(V)\mathrm{Pf}(V)) est un élément extrémal dans A[Xij]A[X_{ij}] (raisonner comme dans bb), en considérant det⁡(s.U.′s)\det(s.U.'s) et Pf(s.V.′s)\mathrm{Pf}(s.V.'s)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.