Timeline for Linear representation of the free metabelian / 2-step nilpotent profinite groups on 2 generators
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 3, 2018 at 9:48 | vote | accept | Bonbon | ||
| Dec 2, 2018 at 17:39 | comment | added | YCor | Yes it's very easy to show by hand that the $3\times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $\mathbf{Q}$-subgroup $U$ of $\mathrm{GL}_d$, every finite index subgroup of $\mathrm{GL}_d(\mathbf{Z})\cap G(\mathbf{Q})$ has the congruence subgroup property. | |
| Dec 2, 2018 at 15:40 | history | answered | Benjamin Steinberg | CC BY-SA 4.0 |