Namespace EisensteinWeightOne 5 theorems
- Complete multiplicativity of the mod 3 character χ₋₃
EisensteinWeightOne.chiNegThree_mul0 below · cited by 2 · depth 9 - Coefficients of the power series e₁(χ₋₃)
EisensteinWeightOne.coeff_e1Chi30 below · cited by 1 · depth 9 - Modularity of the weight-one Eisenstein series E₁(1,χ₋₃)
EisensteinWeightOne.e1Chi3IsModular0 below · cited by 5 · depth 9 - Multiplication by e₁(χ₋₃) is trivial on coefficients mod 3
EisensteinWeightOne.three_dvd_coeff_mul_e1Chi3_sub0 below · cited by 1 · depth 10 - Hexagonal theta series equals the weight-one series E₁(χ₋₃)
EisensteinWeightOne.tsum_coeff_e1Chi3_mul_exp_eq_tsum_exp_hexagonal0 below · cited by 1 · depth 30