Timeline for answer to No canonical isomorphism by Emil Jeřábek
Current License: CC BY-SA 4.0
Post Revisions
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 26, 2021 at 17:01 | comment | added | LSpice | Ha, right you are. I'm not sure what I meant. | |
| Apr 26, 2021 at 17:00 | comment | added | Emil Jeřábek | Right. Also note that there is not much point in completing $\mathbb Q_p$, as it is already complete (or rather, it itself arises as a completion of $\mathbb Q$). | |
| Apr 26, 2021 at 15:39 | comment | added | LSpice | Ah, I'm used to a bar rather than a tilde for algebraic closure, but I understand that when completion and algebraic closure interact only one can get the bar. Thanks! (I guess I should have figured it couldn't be the completion, since that would give a non-algebraically-closed, hence not isomorphic to $\mathbb C$, field.) | |
| Apr 26, 2021 at 15:38 | comment | added | Emil Jeřábek | $\mathbb Q_p$ is the field of $p$-adic numbers, $\widetilde{\mathbb Q}_p$ is the algebraic closure of $\mathbb Q_p$, and $\mathbb C_p$ is the completion of $\widetilde{\mathbb Q}_p$ with respect to the $p$-adic valuation. | |
| Apr 26, 2021 at 15:18 | comment | added | LSpice | What does $\widetilde{\mathbb Q}_p$ mean? | |
| S Apr 23, 2021 at 21:36 | history | answered | Emil Jeřábek | CC BY-SA 4.0 | |
| S Apr 23, 2021 at 21:36 | history | made wiki | Post Made Community Wiki by Emil Jeřábek |