Properties

Label 43200.4813
Modulus 4320043200
Conductor 4320043200
Order 720720
Real no
Primitive yes
Minimal yes
Parity odd

Related objects

Downloads

Learn more

Show commands: PariGP / SageMath
from sage.modular.dirichlet import DirichletCharacter
 
H = DirichletGroup(43200, base_ring=CyclotomicField(720))
 
M = H._module
 
chi = DirichletCharacter(H, M([0,675,640,684]))
 
pari: [g,chi] = znchar(Mod(4813,43200))
 

Basic properties

Modulus: 4320043200
Conductor: 4320043200
sage: chi.conductor()
 
pari: znconreyconductor(g,chi)
 
Order: 720720
sage: chi.multiplicative_order()
 
pari: charorder(g,chi)
 
Real: no
Primitive: yes
sage: chi.is_primitive()
 
pari: #znconreyconductor(g,chi)==1
 
Minimal: yes
Parity: odd
sage: chi.is_odd()
 
pari: zncharisodd(g,chi)
 

Galois orbit 43200.qn

χ43200(13,)\chi_{43200}(13,\cdot) χ43200(277,)\chi_{43200}(277,\cdot) χ43200(517,)\chi_{43200}(517,\cdot) χ43200(733,)\chi_{43200}(733,\cdot) χ43200(997,)\chi_{43200}(997,\cdot) χ43200(1213,)\chi_{43200}(1213,\cdot) χ43200(1237,)\chi_{43200}(1237,\cdot) χ43200(1453,)\chi_{43200}(1453,\cdot) χ43200(1717,)\chi_{43200}(1717,\cdot) χ43200(1933,)\chi_{43200}(1933,\cdot) χ43200(2173,)\chi_{43200}(2173,\cdot) χ43200(2437,)\chi_{43200}(2437,\cdot) χ43200(2653,)\chi_{43200}(2653,\cdot) χ43200(2677,)\chi_{43200}(2677,\cdot) χ43200(3373,)\chi_{43200}(3373,\cdot) χ43200(3397,)\chi_{43200}(3397,\cdot) χ43200(3613,)\chi_{43200}(3613,\cdot) χ43200(3877,)\chi_{43200}(3877,\cdot) χ43200(4117,)\chi_{43200}(4117,\cdot) χ43200(4333,)\chi_{43200}(4333,\cdot) χ43200(4597,)\chi_{43200}(4597,\cdot) χ43200(4813,)\chi_{43200}(4813,\cdot) χ43200(4837,)\chi_{43200}(4837,\cdot) χ43200(5053,)\chi_{43200}(5053,\cdot) χ43200(5317,)\chi_{43200}(5317,\cdot) χ43200(5533,)\chi_{43200}(5533,\cdot) χ43200(5773,)\chi_{43200}(5773,\cdot) χ43200(6037,)\chi_{43200}(6037,\cdot) χ43200(6253,)\chi_{43200}(6253,\cdot) χ43200(6277,)\chi_{43200}(6277,\cdot) ...

sage: chi.galois_orbit()
 
order = charorder(g,chi)
 
[ charpow(g,chi, k % order) | k <-[1..order-1], gcd(k,order)==1 ]
 

Related number fields

Field of values: Q(ζ720)\Q(\zeta_{720})
Fixed field: Number field defined by a degree 720 polynomial (not computed)

Values on generators

(28351,29701,6401,29377)(28351,29701,6401,29377)(1,e(1516),e(89),e(1920))(1,e\left(\frac{15}{16}\right),e\left(\frac{8}{9}\right),e\left(\frac{19}{20}\right))

First values

aa 1-11177111113131717191923232929313137374141
χ43200(4813,a) \chi_{ 43200 }(4813, a) 1-111e(2572)e\left(\frac{25}{72}\right)e(319720)e\left(\frac{319}{720}\right)e(161720)e\left(\frac{161}{720}\right)e(1415)e\left(\frac{14}{15}\right)e(79240)e\left(\frac{79}{240}\right)e(127360)e\left(\frac{127}{360}\right)e(73720)e\left(\frac{73}{720}\right)e(7990)e\left(\frac{79}{90}\right)e(77240)e\left(\frac{77}{240}\right)e(13360)e\left(\frac{13}{360}\right)
sage: chi.jacobi_sum(n)
 
χ43200(4813,a)   \chi_{ 43200 }(4813,a) \; at   a=\;a = e.g. 2