Properties

Label 17.1.2.1a1.1-2.4.6a
Base 17.1.2.1a1.1
Degree \(8\)
e \(4\)
f \(2\)
c \(6\)

Related objects

Downloads

Learn more

Defining polynomial over unramified subextension

$x^{4} + d_{0} \pi$

Invariants

Residue field characteristic: $17$
Degree: $8$
Base field: $\Q_{17}(\sqrt{17})$
Ramification index $e$: $4$
Residue field degree $f$: $2$
Discriminant exponent $c$: $6$
Absolute Artin slopes: $[\ ]$
Swan slopes: $[\ ]$
Means: $\langle\ \rangle$
Rams: $(\ )$
Field count: $4$ (complete)
Ambiguity: $8$
Mass: $1$
Absolute Mass: $1/4$

Varying

These invariants are all associated to absolute extensions of $\Q_{ 17 }$ within this relative family, not the relative extension.

Galois group: $C_8\times C_2$
Hidden Artin slopes: $[\ ]$
Indices of inseparability: $[0]$
Associated inertia: $[1]$
Jump Set: undefined

Fields


Showing all 4

  displayed columns for results
Label Polynomial $/ \Q_p$ Galois group $/ \Q_p$ Galois degree $/ \Q_p$ $\#\Aut(K/\Q_p)$ Artin slope content $/ \Q_p$ Swan slope content $/ \Q_p$ Hidden Artin slopes $/ \Q_p$ Hidden Swan slopes $/ \Q_p$ Ind. of Insep. $/ \Q_p$ Assoc. Inertia $/ \Q_p$ Resid. Poly Jump Set
17.2.8.14a1.2 $( x^{2} + 16 x + 3 )^{8} + 17$ $C_8\times C_2$ (as 16T5) $16$ $16$ $[\ ]_{8}^{2}$ $[\ ]_{8}^{2}$ $[\ ]$ $[\ ]$ $[0]$ $[1]$ $z^7 + 8 z^6 + 11 z^5 + 5 z^4 + 2 z^3 + 5 z^2 + 11 z + 8$ undefined
17.2.8.14a1.4 $( x^{2} + 16 x + 3 )^{8} + 204 x + 102$ $C_8\times C_2$ (as 16T5) $16$ $16$ $[\ ]_{8}^{2}$ $[\ ]_{8}^{2}$ $[\ ]$ $[\ ]$ $[0]$ $[1]$ $z^7 + 8 z^6 + 11 z^5 + 5 z^4 + 2 z^3 + 5 z^2 + 11 z + 8$ undefined
17.2.8.14a1.5 $( x^{2} + 16 x + 3 )^{8} + 17 x + 238$ $C_8\times C_2$ (as 16T5) $16$ $16$ $[\ ]_{8}^{2}$ $[\ ]_{8}^{2}$ $[\ ]$ $[\ ]$ $[0]$ $[1]$ $z^7 + 8 z^6 + 11 z^5 + 5 z^4 + 2 z^3 + 5 z^2 + 11 z + 8$ undefined
17.2.8.14a1.7 $( x^{2} + 16 x + 3 )^{8} + 272 x + 238$ $C_8\times C_2$ (as 16T5) $16$ $16$ $[\ ]_{8}^{2}$ $[\ ]_{8}^{2}$ $[\ ]$ $[\ ]$ $[0]$ $[1]$ $z^7 + 8 z^6 + 11 z^5 + 5 z^4 + 2 z^3 + 5 z^2 + 11 z + 8$ undefined
  displayed columns for results