Timeline for Finite-by-torsion-free abelian groups (or compact abelian groups with finitely many components)
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 12, 2019 at 19:34 | comment | added | მამუკა ჯიბლაძე | ...and you get $\text{Tor}$ on the right since $\text{Hom}(-,\mathbb Q/\mathbb Z)$ is exact. Fine. | |
| Jan 12, 2019 at 14:14 | vote | accept | Sean Eberhard | ||
| Jan 12, 2019 at 14:14 | comment | added | Sean Eberhard | Very slick. Nice. | |
| Jan 12, 2019 at 14:01 | comment | added | Jeremy Rickard | @მამუკაჯიბლაძე $\text{Hom}(-,\text{Hom}(F,\mathbb{Q}/\mathbb{Z}))\cong\text{Hom}(-\otimes F,\mathbb{Q}/\mathbb{Z})$. I’m just applying the first right derived functor of each side to $H$. | |
| Jan 12, 2019 at 13:06 | comment | added | მამუკა ჯიბლაძე | Is the last isomorphism obvious? I mean, I could probably easily prove it, but... | |
| Jan 12, 2019 at 12:22 | history | answered | Jeremy Rickard | CC BY-SA 4.0 |