Definition 1
Tag 04W4, permanent. Cite it as [Bourbaki, Tag 04W4].
Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension
The index is called the ramification index of over (or over *) and denoted by* (or , or sometimes *).
This index is a natural number or . If is a valuation equivalent to , is also called the ramification index of over . If , is called unramified over .
On the other hand the residue field of is identified with a subfield of the residue field of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.