Timeline for Is $SL_n(\mathbb{Z}_p)$ virtually torsion free?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2017 at 14:08 | comment | added | Venkataramana | If you take an open subgroup of the form $U=SL_n(p^m {\mathbb Z}_p)$ (congruence subgroup of level $p^m$ ) then the log map on this is an isomorphism onto the image. In particular, if $g\in U$ such that $g^k=1$ then $klog (g)=0$ whence $log g=0$ hence $g=1$; that is, $U$ is torsion-free. | |
| Mar 19, 2017 at 21:33 | answer | added | Yiftach Barnea | timeline score: 13 | |
| Mar 19, 2017 at 21:28 | history | asked | user100742 | CC BY-SA 3.0 |