Timeline for Algebraic extensions of p-adic closed fields
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 18, 2011 at 6:48 | comment | added | Jérôme Poineau | Concerning your edit of July 17, without the condition on the generator, this is proven in Corps Locaux, III, §6, proposition 12. And, actually, the proof can be modified to give what you want. | |
| Jul 17, 2011 at 20:53 | comment | added | Silvain Rideau | A p-adically closed field is a field with the same first order theory that Qp. In terms less model theoretist, it is an henselian field with residual field Fp and a value group that is discrete, and such that [G:G^k] = k (these are called Z-groups as they have the same first order theory as Z). I had a glance at Prestel-Roquette, but they don't do what I am interested in. In fact they mainly proved what I just stated above (the explicit axiomtisation of the theory of Qp), but I may have read too fast... | |
| Jul 17, 2011 at 15:18 | comment | added | LSpice | You mention having trouble finding a reference for $p$-adically closed fields. It seems to me that the canonical reference is Prestel and Roquette's “Formally $p$-adic fields” (springerlink.com/content/978-3-540-12890-8), but I guess you have already seen that. | |
| Jul 17, 2011 at 11:53 | comment | added | Keenan Kidwell | Just out of curiosity, what is a $p$-adically closed field? | |
| Jul 17, 2011 at 9:16 | history | edited | Silvain Rideau | CC BY-SA 3.0 |
added 346 characters in body
|
| Jul 6, 2011 at 10:15 | vote | accept | Silvain Rideau | ||
| Jun 15, 2011 at 11:16 | answer | added | Chandan Singh Dalawat | timeline score: 3 | |
| Jun 15, 2011 at 8:17 | answer | added | Jérôme Poineau | timeline score: 4 | |
| Jun 15, 2011 at 7:52 | answer | added | naf | timeline score: 5 | |
| Jun 15, 2011 at 7:37 | history | asked | Silvain Rideau | CC BY-SA 3.0 |