Exercise 7, § 8
Commutative Algebra, VI, 463
Let be a field, a valuation on , the ring of and the ideal of . Suppose that is Henselian; let be a finite extension of of degree ; let be the unique valuation on extending (Exercise 6 (e)), its ring and its ideal. Let be any element of ; show that the degree over of the class of in is a divisor of and that the order of the class of in is a divisor of (consider the minimal polynomial of over ).
Solution
No solution has been written yet.