Timeline for Extensions of p-adic number fields
Current License: CC BY-SA 4.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 13, 2023 at 17:54 | comment | added | LSpice |
TeX note: \lim already exists, and behaves more as expected than \mathrm{lim}, so there's no need for constructs like $\mathrm{lim}_\leftarrow$ \mathrm{lim}_\leftarrow. Already $\displaystyle\lim_\leftarrow$ \displaystyle\lim_\leftarrow behaves better, but there's even an existing construct, $\varprojlim$ \varprojlim, that does that. I edited accordingly. (In general, \operatorname is what you want for, well, operator names.)
|
|
| Nov 13, 2023 at 17:52 | history | edited | LSpice | CC BY-SA 4.0 |
Links to comments; deleted "thanks"
|
| Nov 13, 2023 at 9:51 | comment | added | Laurent Berger | See also this MathOverflow question mathoverflow.net/questions/262167/… | |
| Nov 13, 2023 at 9:37 | comment | added | Henri Johnston | See also section 3 of this article, which doesn't use infinite Galois theory: ams.org/journals/proc/2015-143-12/S0002-9939-2015-12634-2 | |
| Nov 13, 2023 at 9:00 | history | edited | Eric | CC BY-SA 4.0 |
added 430 characters in body
|
| Nov 13, 2023 at 8:48 | comment | added | Eric | @David Loeffler Yes, you are right. So the problem is solved. I was confused before. Thank you! | |
| Nov 13, 2023 at 8:25 | comment | added | David Loeffler | If $G$ is a profinite group then doesn't any homomorphism $\mathbf{Z} \to G$ extend to $\hat{\mathbf{Z}}$? | |
| Nov 13, 2023 at 6:59 | history | edited | Eric | CC BY-SA 4.0 |
added 1 character in body
|
| Nov 13, 2023 at 6:53 | history | edited | Eric | CC BY-SA 4.0 |
added 1 character in body
|
| Nov 13, 2023 at 6:51 | comment | added | Eric | @re'em waxman Thank you for your kind advice. I have edited the problem to include your consideration. | |
| Nov 13, 2023 at 6:47 | history | edited | Eric | CC BY-SA 4.0 |
added 1249 characters in body
|
| Nov 12, 2023 at 16:05 | comment | added | re'em waxman | Can't we use the same argument? lift the Frobenius element and take the fixed by this lift. This field $K$ will be totally ramified extension of $\mathbb{Q}_p$ and I think we have $\overline{\mathbb{Q}_p}=K\mathbb{Q}_p^{un}$ and we can use the same argument. I might be horribly wrong here. | |
| Nov 12, 2023 at 14:54 | history | edited | Eric |
edited tags
|
|
| Nov 12, 2023 at 14:47 | history | edited | Eric | CC BY-SA 4.0 |
added 1 character in body
|
| S Nov 12, 2023 at 14:45 | review | First questions | |||
| Nov 12, 2023 at 15:04 | |||||
| S Nov 12, 2023 at 14:45 | history | asked | Eric | CC BY-SA 4.0 |