Timeline for Computing weights of $\bar{\mathbb{Q}}_l(1)$ from the definition
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2020 at 15:25 | vote | accept | user545 | ||
| Jan 2, 2020 at 21:04 | comment | added | Will Sawin | I know that's not a proof. I only wrote that because the last couple paragraphs of your question seemed to demonstrate skepticism that the result is true, instead of just lack of knowledge of a complete proof. | |
| Jan 2, 2020 at 21:04 | answer | added | Will Sawin | timeline score: 2 | |
| Jan 2, 2020 at 20:34 | comment | added | user545 | I am looking for a formal proof, whether that looks canonical to someone's eye or not is not relevant here. | |
| Jan 2, 2020 at 18:44 | comment | added | Will Sawin | Why isn't $\zeta \to \zeta^{q^d}$ a canonical isomorphism? Looks pretty canonical to me. | |
| Jan 2, 2020 at 18:10 | history | edited | user545 | CC BY-SA 4.0 |
Grammar, formatting
|
| Jan 2, 2020 at 18:03 | history | asked | user545 | CC BY-SA 4.0 |