Show commands: Magma / Pari/GP / SageMath

Copy content comment:Define the Dirichlet group
 
Copy content sage:G = DirichletGroup(12)
 
Copy content gp:g = idealstar(,12,2)
 
Copy content magma:G := FullDirichletGroup(12);
 

Character group

Order = 4
Copy content comment:Order
 
Copy content sage:G.order()
 
Copy content gp:g.no
 
Copy content magma:Order(G);
 
Structure = \(C_{2}\times C_{2}\)
Copy content comment:Group structure
 
Copy content sage:sorted(g.order() for g in G.gens())
 
Copy content gp:g.cyc
 
Copy content magma:PrimaryInvariants(AbelianGroup(G));
 
Generators = $\chi_{12}(7,\cdot)$, $\chi_{12}(5,\cdot)$
Copy content comment:Generators
 
Copy content sage:G.gens()
 
Copy content gp:g.gen
 
Copy content magma:Generators(G);
 

Characters

Each row describes a character. When available, the columns show the orbit label, order of the character, whether the character is primitive, and several values of the character.

Character Orbit Order Primitive \(-1\) \(1\) \(5\) \(7\)
\(\chi_{12}(1,\cdot)\) 12.a 1 no \(1\) \(1\) \(1\) \(1\)
\(\chi_{12}(5,\cdot)\) 12.c 2 no \(-1\) \(1\) \(-1\) \(1\)
\(\chi_{12}(7,\cdot)\) 12.d 2 no \(-1\) \(1\) \(1\) \(-1\)
\(\chi_{12}(11,\cdot)\) 12.b 2 yes \(1\) \(1\) \(-1\) \(-1\)