sage:from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(32200, base_ring=CyclotomicField(660))
M = H._module
chi = DirichletCharacter(H, M([330,0,363,110,540]))
gp:[g,chi] = znchar(Mod(1823, 32200))
magma:// Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("32200.1823");
| Modulus: | \(32200\) |
sage:chi.modulus()
gp:g[1][1]
magma:Modulus(chi);
|
| Conductor: | \(16100\) |
sage:chi.conductor()
gp:znconreyconductor(g,chi)
magma:Conductor(chi);
|
| Order: | \(660\) |
sage:chi.multiplicative_order()
gp:charorder(g,chi)
magma:Order(chi);
|
| Real: | no |
sage:chi.multiplicative_order() <= 2
gp:charorder(g,chi) <= 2
magma:Order(chi) le 2;
|
| Primitive: | no, induced from \(\chi_{16100}(1823,\cdot)\) |
sage:chi.is_primitive()
gp:#znconreyconductor(g,chi)==1
magma:IsPrimitive(chi);
|
| Minimal: | no |
| Parity: | odd |
sage:chi.is_odd()
gp:zncharisodd(g,chi)
magma:IsOdd(chi);
|
\(\chi_{32200}(87,\cdot)\)
\(\chi_{32200}(423,\cdot)\)
\(\chi_{32200}(647,\cdot)\)
\(\chi_{32200}(703,\cdot)\)
\(\chi_{32200}(887,\cdot)\)
\(\chi_{32200}(1223,\cdot)\)
\(\chi_{32200}(1503,\cdot)\)
\(\chi_{32200}(1727,\cdot)\)
\(\chi_{32200}(1783,\cdot)\)
\(\chi_{32200}(1823,\cdot)\)
\(\chi_{32200}(2063,\cdot)\)
\(\chi_{32200}(2327,\cdot)\)
\(\chi_{32200}(2663,\cdot)\)
\(\chi_{32200}(2847,\cdot)\)
\(\chi_{32200}(2887,\cdot)\)
\(\chi_{32200}(3167,\cdot)\)
\(\chi_{32200}(3183,\cdot)\)
\(\chi_{32200}(3223,\cdot)\)
\(\chi_{32200}(3463,\cdot)\)
\(\chi_{32200}(4287,\cdot)\)
\(\chi_{32200}(4303,\cdot)\)
\(\chi_{32200}(4567,\cdot)\)
\(\chi_{32200}(4583,\cdot)\)
\(\chi_{32200}(4903,\cdot)\)
\(\chi_{32200}(5087,\cdot)\)
\(\chi_{32200}(5183,\cdot)\)
\(\chi_{32200}(5367,\cdot)\)
\(\chi_{32200}(5423,\cdot)\)
\(\chi_{32200}(5463,\cdot)\)
\(\chi_{32200}(5647,\cdot)\)
...
sage:chi.galois_orbit()
gp:order = charorder(g,chi)
[ charpow(g,chi, k % order) | k <-[1..order-1], gcd(k,order)==1 ]
magma:order := Order(chi);
{ chi^k : k in [1..order-1] | GCD(k,order) eq 1 };
\((24151,16101,2577,9201,19601)\) → \((-1,1,e\left(\frac{11}{20}\right),e\left(\frac{1}{6}\right),e\left(\frac{9}{11}\right))\)
| \(a\) |
\(-1\) | \(1\) | \(3\) | \(9\) | \(11\) | \(13\) | \(17\) | \(19\) | \(27\) | \(29\) | \(31\) | \(33\) |
| \( \chi_{ 32200 }(1823, a) \) |
\(-1\) | \(1\) | \(e\left(\frac{401}{660}\right)\) | \(e\left(\frac{71}{330}\right)\) | \(e\left(\frac{109}{330}\right)\) | \(e\left(\frac{89}{220}\right)\) | \(e\left(\frac{29}{660}\right)\) | \(e\left(\frac{167}{330}\right)\) | \(e\left(\frac{181}{220}\right)\) | \(e\left(\frac{91}{110}\right)\) | \(e\left(\frac{161}{165}\right)\) | \(e\left(\frac{619}{660}\right)\) |
sage:chi(x)
gp:chareval(g,chi,x) \\\\ x integer, value in Q/Z'
magma:chi(x)