Proposition 8
Tag 04TK, permanent. Cite it as [Bourbaki, Tag 04TK].
Commutative Algebra, chapter VI, § 3. Valuations
Let be a (not necessarily commutative) field, a discrete valuation on , the ring of and a uniformizer for . The non-zero ideals of are two-sided and of the form ().
It may be assumed that is normed, so that . For all , there is an integer such that and hence we may write
where are two invertible elements of the ring ; 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.