Bourbaki

Exercise 27, § 1

Commutative Algebra, IX, p. 50

Let r1,r2,nr_1, r_2, n be integers satisfying

1⩽r1⩽r2⩽n. 1 \leqslant r_1 \leqslant r_2 \leqslant n .
Let T1,...,TnT_1, ..., T_n be indeterminates. By arguments analogous to those of the preceding exercise, give a description of the ring of Witt vectors over the ring
k[T1,...,Tr1,T1−1,...,Tr1−1,Tr1+1,...,Tr2][[Tr2+1,...,Tn]]. k[T_1, ..., T_{r_1}, T_1^{-1}, ..., T_{r_1}^{-1}, T_{r_1+1}, ..., T_{r_2}] [[T_{r_2+1}, ..., T_n]] .

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5.4. Not checked by a person.