Bourbaki

Proposition 8

Tag 04TK, permanent. Cite it as [Bourbaki, Tag 04TK].

Commutative Algebra, chapter VI, § 3. Valuations

Let KK be a (not necessarily commutative) field, vv a discrete valuation on KK, AA the ring of vv and uu a uniformizer for vv. The non-zero ideals of AA are two-sided and of the form AunAu^n (n≥0n \geq 0).

It may be assumed that vv is normed, so that v(u)=1v(u) = 1. For all x∈K∗x \in K^*, there is an integer n∈Zn \in \mathbf{Z} such that (v(x)=n=v(un)(v(x) = n = v(u^n) and hence we may write

x=zun=unz′, x = zu^n = u^n z',

where z,z′z, z' are two invertible elements of the ring AA; whence the proposition.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.