Timeline for Does a "composite field" always exist?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2012 at 20:15 | vote | accept | Pace Nielsen | ||
| Feb 7, 2012 at 3:05 | comment | added | Kevin Ventullo | Regarding Note 2: There is no topological field containing topological copies of $\mathbb{R}$ and $\mathbb{Q}_p$, since each of these induce distinct topologies on $\mathbb{Q}$. The isomorphism Ralph describes is not continuous. | |
| Feb 6, 2012 at 22:47 | answer | added | Ramiro de la Vega | timeline score: 7 | |
| Feb 6, 2012 at 20:34 | answer | added | Angelo | timeline score: 31 | |
| Feb 6, 2012 at 20:31 | answer | added | David E Speyer | timeline score: 11 | |
| Feb 6, 2012 at 20:12 | comment | added | Ralph | Concerning the p-adics, reals: We have $\mathbb{R} \subseteq \mathbb{C}$, $\mathbb{Q}_p \subseteq \mathbb{C}_p$ and $\mathbb{C} \cong \mathbb{C}_p$. Using this isomorphism you can embedd $\mathbb{Q}_p$ into $\mathbb{C}$. Of course this iso. isn't defined in a constructible way. | |
| Feb 6, 2012 at 19:54 | history | asked | Pace Nielsen | CC BY-SA 3.0 |