در ریاضیات، یک زیرگروه همنهشتی (به انگلیسی: Congruence subgroup)، یک زیرگروه گروه خطی عام است که با شرایط حسابی تعریف می شود.Congruence subgroup in Encyclopedia of MathematicsM.S. Raghunathan: The congruence subgroup problem. Proc. Indian Acad. Sci. Math. Sci. 114 (2004), no. 4, 299–308.فرض کنید G ⊂ G L ( n , C ) {\displaystyle G\subset GL(n,\mathbb {C} )} یک زیرگروه تعریف شده روی Q...