Properties

Label 4.58557989.6t10.a.a
Dimension $4$
Group $C_3^2:C_4$
Conductor $58557989$
Root number $1$
Indicator $1$

Related objects

Downloads

Learn more

Basic invariants

Dimension: $4$
Group: $C_3^2:C_4$
Conductor: \(58557989\)\(\medspace = 7^{4} \cdot 29^{3} \)
Frobenius-Schur indicator: $1$
Root number: $1$
Artin stem field: Galois closure of 6.2.34656769.1
Galois orbit size: $1$
Smallest permutation container: $C_3^2:C_4$
Parity: even
Determinant: 1.29.2t1.a.a
Projective image: $C_3^2:C_4$
Projective stem field: Galois closure of 6.2.34656769.1

Defining polynomial

$f(x)$$=$ \( x^{6} + x^{4} - x^{3} - 7x^{2} + 14x - 7 \) Copy content Toggle raw display .

The roots of $f$ are computed in an extension of $\Q_{ 13 }$ to precision 10.

Minimal polynomial of a generator $a$ of $K$ over $\mathbb{Q}_{ 13 }$: \( x^{2} + 12x + 2 \) Copy content Toggle raw display

Roots:
$r_{ 1 }$ $=$ \( 5 a + 2 + \left(11 a + 3\right)\cdot 13 + \left(11 a + 2\right)\cdot 13^{2} + \left(8 a + 6\right)\cdot 13^{3} + \left(12 a + 1\right)\cdot 13^{4} + 2 a\cdot 13^{5} + \left(9 a + 7\right)\cdot 13^{6} + 13^{7} + 2 a\cdot 13^{8} + \left(6 a + 9\right)\cdot 13^{9} +O(13^{10})\) Copy content Toggle raw display
$r_{ 2 }$ $=$ \( 2 + 7\cdot 13 + 3\cdot 13^{2} + 4\cdot 13^{3} + 3\cdot 13^{4} + 6\cdot 13^{5} + 13^{6} + 12\cdot 13^{7} + 2\cdot 13^{8} + 6\cdot 13^{9} +O(13^{10})\) Copy content Toggle raw display
$r_{ 3 }$ $=$ \( 4 + 8\cdot 13^{2} + 3\cdot 13^{3} + 6\cdot 13^{4} + 9\cdot 13^{5} + 5\cdot 13^{6} + 5\cdot 13^{7} + 11\cdot 13^{8} + 3\cdot 13^{9} +O(13^{10})\) Copy content Toggle raw display
$r_{ 4 }$ $=$ \( 8 a + 7 + \left(a + 9\right)\cdot 13 + \left(a + 2\right)\cdot 13^{2} + \left(4 a + 3\right)\cdot 13^{3} + 5\cdot 13^{4} + \left(10 a + 3\right)\cdot 13^{5} + 3 a\cdot 13^{6} + \left(12 a + 6\right)\cdot 13^{7} + \left(10 a + 1\right)\cdot 13^{8} + 6 a\cdot 13^{9} +O(13^{10})\) Copy content Toggle raw display
$r_{ 5 }$ $=$ \( 5 a + 3 + 10 a\cdot 13 + \left(11 a + 4\right)\cdot 13^{2} + \left(9 a + 5\right)\cdot 13^{3} + \left(4 a + 7\right)\cdot 13^{4} + 10 a\cdot 13^{5} + \left(12 a + 11\right)\cdot 13^{6} + \left(10 a + 7\right)\cdot 13^{7} + \left(12 a + 10\right)\cdot 13^{8} + \left(8 a + 11\right)\cdot 13^{9} +O(13^{10})\) Copy content Toggle raw display
$r_{ 6 }$ $=$ \( 8 a + 8 + \left(2 a + 5\right)\cdot 13 + \left(a + 5\right)\cdot 13^{2} + \left(3 a + 3\right)\cdot 13^{3} + \left(8 a + 2\right)\cdot 13^{4} + \left(2 a + 6\right)\cdot 13^{5} + \left(2 a + 6\right)\cdot 13^{7} + 12\cdot 13^{8} + \left(4 a + 7\right)\cdot 13^{9} +O(13^{10})\) Copy content Toggle raw display

Generators of the action on the roots $r_1, \ldots, r_{ 6 }$

Cycle notation
$(1,3,4)$
$(2,5,6)$
$(1,5,3,2)(4,6)$

Character values on conjugacy classes

SizeOrderAction on $r_1, \ldots, r_{ 6 }$ Character value
$1$$1$$()$$4$
$9$$2$$(1,3)(2,5)$$0$
$4$$3$$(1,3,4)$$-2$
$4$$3$$(1,3,4)(2,5,6)$$1$
$9$$4$$(1,5,3,2)(4,6)$$0$
$9$$4$$(1,2,3,5)(4,6)$$0$

The blue line marks the conjugacy class containing complex conjugation.