Bourbaki

Exercise 16, § 3

Commutative Algebra, VII

Let B be a discrete valuation ring, whose residue field k is finite and is not a prime field; let k0k_0 be the prime subfield of k, and let A be the subring of B consisting of the elements whose class in the residue field belongs to k0k_0. Let π\pi be a uniformizer of B, and (θi)1≤i≤m(\theta_i)_{1 \leq i \leq m} a system of invertible elements of B such that the classes θˉi\bar{\theta}_i mod. π\pi of the θi\theta_i form a system of representatives of k∗k^* mod. k0∗k_0^*. Now prove that the elements pi=θiπp_i = \theta_i \pi and the element π\pi are extremal in A and that every element of A is the product of an invertible element and powers of the pip_i and of π\pi, though A is not integrally closed.

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.