Bourbaki

Exercise 3, § 4

Commutative Algebra, X

Let AA be a ring, T=(Ti)i∈IT = (T_i)_{i \in I} a finite family of indeterminates. Prove that the following conditions are equivalent:

(i) the ring AA is regular ; (ii) the ring A[T]A[T] is regular ; (iii) the ring A[[T]]A[[T]] is regular.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.