Properties

 Label 3.4.0.1 Base $$\Q_{3}$$ Degree $$4$$ e $$1$$ f $$4$$ c $$0$$ Galois group $C_4$ (as 4T1)

Related objects

Defining polynomial

 $$x^{4} - x + 2$$ x^4 - x + 2

Invariants

 Base field: $\Q_{3}$ Degree $d$: $4$ Ramification exponent $e$: $1$ Residue field degree $f$: $4$ Discriminant exponent $c$: $0$ Discriminant root field: $\Q_{3}(\sqrt{2})$ Root number: $1$ $\card{ \Gal(K/\Q_{ 3 }) }$: $4$ This field is Galois and abelian over $\Q_{3}.$ Visible slopes: None

Intermediate fields

Fields in the database are given up to isomorphism. Isomorphic intermediate fields are shown with their multiplicities.

Unramified/totally ramified tower

 Unramified subfield: 3.4.0.1 $\cong \Q_{3}(t)$ where $t$ is a root of $$x^{4} - x + 2$$ x^4 - x + 2 Relative Eisenstein polynomial: $$x - 3$$ x - 3 $\ \in\Q_{3}(t)[x]$ Indices of inseparability: $[0]$

Invariants of the Galois closure

 Galois group: $C_4$ (as 4T1) Inertia group: trivial Wild inertia group: $C_1$ Unramified degree: $4$ Tame degree: $1$ Wild slopes: None Galois mean slope: $0$ Galois splitting model: $x^{4} - x^{3} + x^{2} - x + 1$