These are always finite-index subgroups and the congruence subgroup problem roughly asks whether all subgroups are obtained in this way.
Они всегда являются подгруппами конечного индекса, а задача о конгруэнтной подгруппе, грубо говоря, спрашивает, получаются ли все подгруппы таким образом.