Namespace AdelicDock 5 theorems
- Integral matrix at a place prime to the level lies in U₁(N)
AdelicDock.finEmbed_localEmbed_mem_levelOne_inf_finiteAdelicGL2Subgroup0 below · cited by 5 · depth 18 - Local level-one subgroup at v is compact and open
AdelicDock.isCompact_and_isOpen_localLevelOne0 below · cited by 101 · depth 20 - Placements at distinct finite places commute in GL₂ of the adeles
AdelicDock.finEmbed_localEmbed_comm_of_ne0 below · cited by 1 · depth 22 - Compactness of the local level-N group at v
AdelicDock.isCompact_localLevelOne0 below · cited by 3 · depth 22 - Bottom-row cell decomposition modulo K₁(𝔭^m)
AdelicDock.exists_eq_unipotent_mul_diagZ_mul_of_mem_localLevelOne_pow_of_valued_bottomRow_le0 below · cited by 1 · depth 28