Where does this definition of principal congruence subgroup come from?
This entry for principal congruence subgroup is sourced from GetWord Corpus, one of the dictionaries and corpora merged into Lughet.
What is Lughet?
Lughet is a free trilingual dictionary covering nearly five million entries across Uyghur, Chinese, and English, drawn from more than ten source dictionaries and corpora.