Bourbaki

Exercice 13, § 1

Algèbre commutative, VIII, p. 83

Soient K un corps, (nr)r≥1(n_r)_{r \geq 1} une suite strictement croissante d’entiers >0> 0; pour tout entier i≥0i \geq 0, notons pip_i l’idéal de l’anneau K[(Xj)j∈N]K[(X_j)_{j \in \mathbf{N}}] engendré par les XjX_j pour n1+⋯+ni≤j<n1+⋯+ni+ni+1n_1 + \cdots + n_i \leq j < n_1 + \cdots + n_i + n_{i+1}, et soit S l’ensemble des éléments de K[(Xj)]K[(X_j)] qui n’appartiennent à aucun des pip_i. Alors l’anneau S−1K[(Xj)]S^{-1}K[(X_j)] est noethérien et de dimension infinie (utiliser l’exercice 12 pour montrer que S−1K[(Xj)]S^{-1}K[(X_j)] est noethérien) 1^1.

Solution

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

Transcrit du volume imprimé. Non traduit.