Abstract:The present article determines the indices of the principal congruence subgroups of the Bianchi groups $B_d$, $SL(2,\mathcal O)$ and elementary matrix group $E$ and extends Wohlfahrt's Theorem to $B_d$, $SL(2,\mathcal O)$ and $E$, where $\mathcal O$ is the ring of integers of some number fields.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects:
1. **Research on exponential formulas**:
- The author studied the indices of the principal congruence subgroups \( E(\pi) \) and \( \Gamma(\pi) \). By studying the properties of these subgroups, the author derived an important exponential formula (Theorem 2.6), namely:
\[
[E : E(\pi)] = [\Gamma : \Gamma(\pi)] = N(\pi)^3 \prod (1 - N(P)^{-2})
\]
where \( N(\pi) \) is the absolute norm of the ideal, and \( P \) is all prime ideals that factorize \( \pi \).
2. **Generalization of Wohlfahrt's theorem**:
- Wohlfahrt's theorem was originally for the modular group \( SL(2, \mathbb{Z}) \). This paper generalizes it to more general matrix groups \( E \) and \( \Gamma = SL(2, O) \), where \( O \) is the ring of integers of certain number fields. Specifically, for a subgroup \( K \) of finite index, if its level is \( m \), then \( K \) is a congruence subgroup if and only if \( E(m)\subseteq K \) or \( \Gamma(m)\subseteq K \) (Theorem 3.2 and Theorem 3.4).
3. **Construction of non - congruence subgroups**:
- The paper also discussed how to construct non - congruence subgroups. In particular, for the Bianchi group \( B_d \), the author showed how to construct normal non - congruence subgroups with small indices and levels (Proposition 5.3 and Proposition 5.4).
4. **Research on power subgroups**:
- The paper further studied the properties of the power subgroups \( B_d^2=\langle x^2:x\in B_d\rangle \). The author proved whether these power subgroups are congruence subgroups under specific conditions (Proposition 6.2 and Proposition 6.3).
5. **Congruence subgroup property (CSP)**:
- Finally, the paper explored that if \( G = PSL(2, O_d) \) satisfies the congruence subgroup property (CSP), then \( G/[G, G] \) is a finite group whose order is \( 2^a3^b \) (Proposition 7.2). This is different from the Bianchi group \( B_d \) because the latter usually does not satisfy CSP.
In summary, the main objective of this paper is to deeply explore the structures and properties of specific matrix groups and their subgroups, especially the differences between congruence subgroups and non - congruence subgroups, by generalizing and applying Wohlfahrt's theorem and studying exponential formulas.