Are the "principal congruence subgroups" $\Gamma(n)\le SL_2(\mathbb{Z})$ characteristic?
Ie, are they left invariant (as a set) by all automorphisms of $SL_2(\mathbb{Z})$?
Here $\Gamma(n)$ is the subgroup consisting of matrices congruent to the identity mod $n$.