← all areas

Namespace DirichletCharacter 4 theorems

• The Dirichlet idele character admits the modulus (N) DirichletCharacter.admitsModulus_dirichletIdeleChar 0 below · cited by 2 · depth 14
• Dirichlet characters give finite-order Hecke characters of ℚ DirichletCharacter.isFiniteOrderHeckeChar_dirichletIdeleChar 0 below · cited by 5 · depth 14
• Local conductor exponent of a primitive Dirichlet character's idele character DirichletCharacter.hasConductorExponentAt_localChar_dirichletIdeleChar 0 below · cited by 1 · depth 17
• An odd prime admits a 2-power-order character with odd real locus DirichletCharacter.exists_pow_two_pow_eq_one_and_isPrimitive_and_odd_sum 0 below · cited by 1 · depth 24