Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 09ER

Go back to the tag's page.

type time link
changed the statement and the proof 2015-09-03 77ac69a
Neurotic changes

Given a finite extension L/K of the fraction field of a discrete
valuation ring, we say L/K is 'unramified wrt A' instead of just saying
that it is 'unramified'. There are two reasons:

  1. There may be more than one dvr whose fraction field is K
  2. We already have a notion of an unramified ring map and we do not
  want the reader to think we are asking K ---> L to be unramified as a
  ring map...

Yes, this is probably not necessary...
changed the proof 2015-09-03 3b1a354
Existence of separable solutions in Epp
assigned tag 09ER 2013-08-14 5f65446
Tags: Added new tags
created statement with label lemma-weakly-unramified-goes-up-along-totally-ramified in more-algebra.tex 2013-08-12 46499cc
Get separable extension in the first case of Epp's argument

Of course this doesn't work if you started just taking a pth
root out of a uniformizer of the base dvr