Arithmetic groups such as SL(n,Z) have what is called the congruence subgroup property, i.e., any finite index normal subgroup contain a so called congruence subgroup. One can define analogous congruence subgroups in Aut(F_n) and ask whether any finite index normal subgroup of Aut(F_n) contains one of them. This is the *open* congruence subgroup problem for Aut(F_n).
We plan to read the relevant literature on what is known about the problem. Ideally, we would then continue and solve it.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
this course is *not* for credit