Timeline for Absolute Galois group, number theory and the Axiom of Choice
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 9, 2022 at 14:57 | comment | added | Gro-Tsen | (This reminds me of the question of whether we can define right-derived functors for $M \mapsto M^I$ (where $I$ is a set and $M$ a module or even a vector space) in ZF, and, if so, what they look like. I can't decide whether it's a dumb question.) | |
| Jun 9, 2022 at 14:52 | comment | added | Gro-Tsen | On the other hand, we could say that number theory is about studying the absolute Galois groupoid of $\mathbb{Q}$, and the statement that there is more than one algebraic closure of $\mathbb{Q}$ means its absolute Galois groupoid is not connected, which seems like its number-theoretically meaningful. I think it makes sense to ask more about these other, nonstandard, components, and I'm not convinced there's no interesting number-theoretic question there. | |
| Jun 9, 2022 at 11:58 | history | edited | Will Sawin | CC BY-SA 4.0 |
added 108 characters in body
|
| Jun 2, 2022 at 13:52 | history | answered | Will Sawin | CC BY-SA 4.0 |