Trace map and regularity of finite extensions of a DVR

Fabio Tonini

We interpret the regularity of a finite and flat extension of a discrete valuation ring in terms of the trace map of the extension.