Properties

Label 1800.1021
Modulus 18001800
Conductor 18001800
Order 3030
Real no
Primitive yes
Minimal yes
Parity even

Related objects

Downloads

Learn more

Show commands: Pari/GP / SageMath
Copy content sage:from sage.modular.dirichlet import DirichletCharacter H = DirichletGroup(1800, base_ring=CyclotomicField(30)) M = H._module chi = DirichletCharacter(H, M([0,15,10,18]))
 
Copy content pari:[g,chi] = znchar(Mod(1021,1800))
 

Basic properties

Modulus: 18001800
Conductor: 18001800
Copy content sage:chi.conductor()
 
Copy content pari:znconreyconductor(g,chi)
 
Order: 3030
Copy content sage:chi.multiplicative_order()
 
Copy content pari:charorder(g,chi)
 
Real: no
Primitive: yes
Copy content sage:chi.is_primitive()
 
Copy content pari:#znconreyconductor(g,chi)==1
 
Minimal: yes
Parity: even
Copy content sage:chi.is_odd()
 
Copy content pari:zncharisodd(g,chi)
 

Galois orbit 1800.cv

χ1800(61,)\chi_{1800}(61,\cdot) χ1800(421,)\chi_{1800}(421,\cdot) χ1800(661,)\chi_{1800}(661,\cdot) χ1800(781,)\chi_{1800}(781,\cdot) χ1800(1021,)\chi_{1800}(1021,\cdot) χ1800(1141,)\chi_{1800}(1141,\cdot) χ1800(1381,)\chi_{1800}(1381,\cdot) χ1800(1741,)\chi_{1800}(1741,\cdot)

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

Related number fields

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

Values on generators

(1351,901,1001,577)(1351,901,1001,577)(1,1,e(13),e(35))(1,-1,e\left(\frac{1}{3}\right),e\left(\frac{3}{5}\right))

First values

aa 1-11177111113131717191923232929313137374141
χ1800(1021,a) \chi_{ 1800 }(1021, a) 1111e(13)e\left(\frac{1}{3}\right)e(1330)e\left(\frac{13}{30}\right)e(1730)e\left(\frac{17}{30}\right)e(45)e\left(\frac{4}{5}\right)e(310)e\left(\frac{3}{10}\right)e(415)e\left(\frac{4}{15}\right)e(130)e\left(\frac{1}{30}\right)e(715)e\left(\frac{7}{15}\right)e(910)e\left(\frac{9}{10}\right)e(115)e\left(\frac{1}{15}\right)
Copy content sage:chi.jacobi_sum(n)
 
χ1800(1021,a)   \chi_{ 1800 }(1021,a) \; at   a=\;a = e.g. 2