Definition 5
Tag 04WN, permanent. Cite it as [Bourbaki, Tag 04WN].
Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension
Let be a field, L a finite extension of , a valuation on , its restriction to and and their order groups. The initial index of in is called the initial ramification index of with respect to (or with respect to *) and denoted by* .
From the above corollary, divides with equality in the case of a discrete valuation.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.