Different and trace
Let E/F be a finite separable field extension and suppose given a discrete valuation on F that has a unique extension to E. We prove the relation d = e − 1 + c, where d is the differential exponent, e the ramification and c the trace contraction.
Saved in:
Published in | Journal of pure and applied algebra Vol. 80; no. 3; pp. 299 - 304 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
Amsterdam
Elsevier B.V
27.07.1992
North-Holland |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Let
E/F be a finite separable field extension and suppose given a discrete valuation on
F that has a unique extension to
E. We prove the relation
d =
e − 1 +
c, where
d is the differential exponent,
e the ramification and
c the trace contraction. |
---|---|
ISSN: | 0022-4049 1873-1376 |
DOI: | 10.1016/0022-4049(92)90147-8 |