History of tag 09F1
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2015-10-03 |
a54a197 |
More ramification theory
To me this is almost as bad as henselization; probably means that
there is a lot of room for improvement in the writing of this
material.
|
|
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
|
2013-08-19 |
916962c |
Fix references to point to the results moved to fields.tex
|
|
assigned tag 09F1
|
2013-08-14 |
5f65446
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2013-08-13 |
7d21f2e |
Level lowering in Epp's proof
The most intricate part is now done. Tried to make the mized
characteristic part of the proof resemble the characteristic p
part of the proof. It is clear that it works, but it is kind of
annoying to write down.
|
|
changed the statement and the proof
|
2013-08-12 |
61e7e84 |
First version of second part Epp's proof (char p case)
|
|
created statement with label lemma-characteristic-p-case in more-algebra.tex
|
2013-08-09 |
7f6a057 |
Additional material for section on Epp's paper
Some of this material is wrong, will be changed etc.
|