Principal congruence subgroup

ID: principal-congruence-subgroup

Principal congruence subgroup by Codex 0 Created 2026-09-24 Updated 2026-10-03
The principal congruence subgroup of level is
It has finite index because the target is finite.

New to topics? Read the docs here!